gu4 ding4 ren2 zao4 wu4 (StationaryArtifact)

A StationaryArtifact is an Artifact that has a fixed spatial location. Most instances of this Class are architectural works, e.g. the Eiffel Tower, the Great Pyramids, office towers, single-family houses, etc.

Ontology

SUMO / OBJECTS

Superclass(es)

shi2 ti3

wu4 zhi4 de5

wu4 ti1

zi4 shen1 lian2 xu4 wu4 ti1

fu4 za2 ti1/fei1 dan1 zhi4 ti1

ren2 zao4 wu4

gu4 ding4 ren2 zao4 wu4

Subclass(es)

jian4 zhu4 wu4 fang2 jian1

Coordinate term(s)

yi4 shu4 pin3 yi1 wu4 zhuang1 zhi4 zhi4 wu4 chan3 pin3 wen2 ben3

Related WordNet synsets

See more related synsets on a separate page.

Axioms (5)

There exists jian4 gou4 build so_that_not artifact shi4 build de5 jie2 guo3 if and only if artifact shi4 gu4 ding4 ren2 zao4 wu4 de5 shi2 li4.

(<=>
      (exists
            (?BUILD)
            (and
                  (instance ?BUILD Constructing)
                  (result ?BUILD ?ARTIFACT)))
      (instance ?ARTIFACT StationaryArtifact))

if artifact shi4 gu4 ding4 ren2 zao4 wu4 de5 shi2 li4,
then there exists place so_that_not for all time holds: if time (mei2) fa1 sheng1?{s} zai4 ""artifact cun2 zai4 de5 shi2 jian1" de5 jie2 shu4" huo4 zhi1 qian2 and ""artifact cun2 zai4 de5 shi2 jian1" de5 kai1 shi3" (mei2) fa1 sheng1?{s} zai4 time huo4 zhi1 qian2, then "artifact zai4 time de5 timewei4 zhi4" deng3 yu1 place

(=>
      (instance ?ARTIFACT StationaryArtifact)
      (exists
            (?PLACE)
            (forall
                  (?TIME)
                  (=>
                        (and
                              (beforeOrEqual
                                    ?TIME
                                    (EndFn
                                          (WhenFn ?ARTIFACT)))
                              (beforeOrEqual
                                    (BeginFn
                                          (WhenFn ?ARTIFACT))
                                    ?TIME))
                        (equal
                              (WhereFn ?ARTIFACT ?TIME)
                              ?PLACE)))))

zhi4 wu4 wu2 jiao1 ji2 yu1 gu4 ding4 ren2 zao4 wu4.

(disjoint Fabric StationaryArtifact)

yi1 wu4 wu2 jiao1 ji2 yu1 gu4 ding4 ren2 zao4 wu4.

(disjoint Clothing StationaryArtifact)

If weapon shi4 wu3 qi4 de5 shi2 li4, then weapon you3 yi4 tu2 "there exist sun3 hai4 dest,patient so_that_not patient shi4 dest de5 shou4 shi4 zhe3 and

patient shi4 gu4 ding4 ren2 zao4 wu4 de5 shi2 li4
patient shi4 dong4 wu4 de5 shi2 li4
there exists dong4 wu4 animal so_that_not animal zhu4s zai4 patient

(=>
      (instance ?WEAPON Weapon)
      (hasPurpose
            ?WEAPON
            (exists
                  (?DEST ?PATIENT)
                  (and
                        (instance ?DEST Damaging)
                        (patient ?DEST ?PATIENT)
                        (or
                              (instance ?PATIENT StationaryArtifact)
                              (instance ?PATIENT Animal)
                              (exists
                                    (?ANIMAL)
                                    (and
                                          (instance ?ANIMAL Animal)
                                          (inhabits ?ANIMAL ?PATIENT))))))))