wei4 yu1 (located)

A very general predicate. (located phys obj) means that phys is situated at obj, in some sense. The Predicates located and time are spatial and temporal predicates, respectively.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

pian1 xu4 guan1 xi4

wei4 yu1

Superrelation(s)

bu4 fen5 wei4 yu1

wei4 yu1

Subrelation(s)

bu4 fen5 jing1 que4 wei4 yu1 bu4 fen5 tian2 chong1

Coordinate term(s)

xian1 yu1 huo4 tong5 shi2 da4 yu1 huo4 deng3 yu1 xiao3 yu1 huo4 deng3 yu1 bu4 fen5 ci4 shu3 xing4 ci4 xu4 lie4 ci4 li4 cheng2 ci4 zhong3 lei4 ci4 guan1 xi4 bao1 han2 xun4 xi1 zhong3 lei4 bao1 han2 xun4 xi1 shi2 li4

Type restrictions

located(wu4 zhi4 de5, wu4 ti1)

Related WordNet synsets

location: a point or extent in space
ubiety: the state of existing and being localized in space

See more related synsets on a separate page.

Axioms (23)

phys shi4 wu4 zhi4 de5 de5 shi2 li4 if and only if there exist loc,time so_that_not phys wei4 yu1 loc and phys (bu2) cun2 zai4s time qi1 jian1.

(<=>
      (instance ?PHYS Physical)
      (exists
            (?LOC ?TIME)
            (and
                  (located ?PHYS ?LOC)
                  (time ?PHYS ?TIME))))

If region shi4 qu1 yu4 de5 shi2 li4, then there exists phys so_that_not phys wei4 yu1 region.

(=>
      (instance ?REGION Region)
      (exists
            (?PHYS)
            (located ?PHYS ?REGION)))

abs shi4 chou1 xiang4 de5 de5 shi2 li4 if and only if there doesn't exist point so_that_not abs wei4 yu1 point or abs (bu2) cun2 zai4s point qi1 jian1.

(<=>
      (instance ?ABS Abstract)
      (not
            (exists
                  (?POINT)
                  (or
                        (located ?ABS ?POINT)
                        (time ?ABS ?POINT)))))

wei4 yu1 na4 bu4 xiang1 guan1 yu1 shi2 jian1.

(relatedInternalConcept located time)

if obj wei4 yu1 region,
then for all subobj holds: if subobj shi4 obj de5 bu4 fen5), then subobj wei4 yu1 region

(=>
      (located ?OBJ ?REGION)
      (forall
            (?SUBOBJ)
            (=>
                  (part ?SUBOBJ ?OBJ)
                  (located ?SUBOBJ ?REGION))))

If yi4 zhi4(proc1,proc2) holds, then for all time,place holds: "there exists proc1 inst1 so_that_not inst1 wei4 yu1 place timea(zhi1 zhong1) time" (bu2jiang4 di1s) %2 de5 ke3 neng2 xing4.

(=>
      (inhibits ?PROC1 ?PROC2)
      (forall
            (?TIME ?PLACE)
            (decreasesLikelihood
                  (holdsDuring
                        ?TIME
                        (exists
                              (?INST1)
                              (and
                                    (instance ?INST1 ?PROC1)
                                    (located ?INST1 ?PLACE))))
                  (holdsDuring
                        ?TIME
                        (exists
                              (?INST2)
                              (and
                                    (instance ?INST2 ?PROC2)
                                    (located ?INST2 ?PLACE)))))))

if proc1 bi4 mian3 proc2 de5 fa1 sheng1,
then for all time,place holds: if there exists proc1 inst1 so_that_not inst1 wei4 yu1 place timea(zhi1 zhong1) time, then there exists proc2 inst2 so_that_not inst2 wei4 yu1 place timea(zhi1 zhong1) time

(=>
      (prevents ?PROC1 ?PROC2)
      (forall
            (?TIME ?PLACE)
            (=>
                  (holdsDuring
                        ?TIME
                        (exists
                              (?INST1)
                              (and
                                    (instance ?INST1 ?PROC1)
                                    (located ?INST1 ?PLACE))))
                  (not
                        (holdsDuring
                              ?TIME
                              (exists
                                    (?INST2)
                                    (and
                                          (instance ?INST2 ?PROC2)
                                          (located ?INST2 ?PLACE))))))))

If process (bu2) qi3 yuan2s yu1 obj, then "process zai4 ""process cun2 zai4 de5 shi2 jian1" de5 kai1 shi3" de5 ""process cun2 zai4 de5 shi2 jian1" de5 kai1 shi3"wei4 zhi4" wei4 yu1 "obj zai4 ""obj cun2 zai4 de5 shi2 jian1" de5 kai1 shi3" de5 ""obj cun2 zai4 de5 shi2 jian1" de5 kai1 shi3"wei4 zhi4".

(=>
      (origin ?PROCESS ?OBJ)
      (located
            (WhereFn
                  ?PROCESS
                  (BeginFn
                        (WhenFn ?PROCESS)))
            (WhereFn
                  ?OBJ
                  (BeginFn
                        (WhenFn ?OBJ)))))

if subproc shi4 proc de5 ci4 li4 cheng2,
then for all region holds: if proc wei4 yu1 region, then subproc wei4 yu1 region

(=>
      (subProcess ?SUBPROC ?PROC)
      (forall
            (?REGION)
            (=>
                  (located ?PROC ?REGION)
                  (located ?SUBPROC ?REGION))))

If proc shi4 sheng1 wu4 li4 cheng2 de5 shi2 li4, then there exists sheng1 wu4 ti1 obj so_that_not proc wei4 yu1 obj.

(=>
      (instance ?PROC BiologicalProcess)
      (exists
            (?OBJ)
            (and
                  (instance ?OBJ Organism)
                  (located ?PROC ?OBJ))))

If proc shi4 qi4 guan1 huo4 zu3 zhi1 li4 cheng2 de5 shi2 li4, then there exists thing so_that_not proc wei4 yu1 thing and thing shi4 qi4 guan1 de5 shi2 li4 or thing shi4 zu3 zhi1 de5 shi2 li4.

(=>
      (instance ?PROC OrganOrTissueProcess)
      (exists
            (?THING)
            (and
                  (located ?PROC ?THING)
                  (or
                        (instance ?THING Organ)
                        (instance ?THING Tissue)))))

If motion shi4 yi2 dong4 de5 shi2 li4 and obj shi4 motion de5 shou4 shi4 zhe3 and motion (bu2) qi3 yuan2s yu1 place, then obj wei4 yu1 place ""motion cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "motion cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2.

(=>
      (and
            (instance ?MOTION Motion)
            (patient ?MOTION ?OBJ)
            (origin ?MOTION ?PLACE))
      (holdsDuring
            (ImmediatePastFn
                  (WhenFn ?MOTION))
            (located ?OBJ ?PLACE)))

If motion shi4 yi2 dong4 de5 shi2 li4 and obj shi4 motion de5 shou4 shi4 zhe3 and motion (bu2) zhong1 jie2not(s) place, then obj wei4 yu1 place ""motion cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "motion cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4.

(=>
      (and
            (instance ?MOTION Motion)
            (patient ?MOTION ?OBJ)
            (destination ?MOTION ?PLACE))
      (holdsDuring
            (ImmediateFutureFn
                  (WhenFn ?MOTION))
            (located ?OBJ ?PLACE)))

If walk shi4 xing2 zou3 de5 shi2 li4 and walk shi4 agent de5 shi1 shi4 zhe3, then there exists lu4 di4 area so_that_not agent wei4 yu1 area.

(=>
      (and
            (instance ?WALK Walking)
            (agent ?WALK ?AGENT))
      (exists
            (?AREA)
            (and
                  (instance ?AREA LandArea)
                  (located ?AGENT ?AREA))))

If swim shi4 you2 yong3 de5 shi2 li4 and swim shi4 agent de5 shi1 shi4 zhe3, then there exists shui3 yu4 area so_that_not agent wei4 yu1 area.

(=>
      (and
            (instance ?SWIM Swimming)
            (agent ?SWIM ?AGENT))
      (exists
            (?AREA)
            (and
                  (instance ?AREA WaterArea)
                  (located ?AGENT ?AREA))))

If remove shi4 yi2 chu2 de5 shi2 li4 and remove (bu2) qi3 yuan2s yu1 place and obj shi4 remove de5 shou4 shi4 zhe3, then obj wei4 yu1 place ""remove cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "remove cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and obj wei4 yu1 place ""remove cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "remove cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4.

(=>
      (and
            (instance ?REMOVE Removing)
            (origin ?REMOVE ?PLACE)
            (patient ?REMOVE ?OBJ))
      (and
            (holdsDuring
                  (ImmediatePastFn
                        (WhenFn ?REMOVE))
                  (located ?OBJ ?PLACE))
            (holdsDuring
                  (ImmediateFutureFn
                        (WhenFn ?REMOVE))
                  (not
                        (located ?OBJ ?PLACE)))))

If put shi4 fang4 zhi4 de5 shi2 li4 and put (bu2) zhong1 jie2not(s) place and obj shi4 put de5 shou4 shi4 zhe3, then obj wei4 yu1 place ""put cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2"a(zhi1 zhong1) "put cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2 and obj wei4 yu1 place ""put cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "put cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4.

(=>
      (and
            (instance ?PUT Putting)
            (destination ?PUT ?PLACE)
            (patient ?PUT ?OBJ))
      (and
            (holdsDuring
                  (ImmediatePastFn
                        (WhenFn ?PUT))
                  (not
                        (located ?OBJ ?PLACE)))
            (holdsDuring
                  (ImmediateFutureFn
                        (WhenFn ?PUT))
                  (located ?OBJ ?PLACE))))

if keep shi4 bao3 you3 de5 shi2 li4 and obj shi4 keep de5 shou4 shi4 zhe3,
then there exists place so_that_not for all time holds: if time shi4 "keep cun2 zai4 de5 shi2 jian1" de5 bu4 fen5, then obj wei4 yu1 place timea(zhi1 zhong1) time

(=>
      (and
            (instance ?KEEP Keeping)
            (patient ?KEEP ?OBJ))
      (exists
            (?PLACE)
            (forall
                  (?TIME)
                  (=>
                        (temporalPart
                              ?TIME
                              (WhenFn ?KEEP))
                        (holdsDuring
                              ?TIME
                              (located ?OBJ ?PLACE))))))

If organism zhu4s zai4 obj, then there exists time so_that_not organism wei4 yu1 obj timea(zhi1 zhong1) time.

(=>
      (inhabits ?ORGANISM ?OBJ)
      (exists
            (?TIME)
            (holdsDuring
                  ?TIME
                  (located ?ORGANISM ?OBJ))))

If virus shi4 bing4 du2 de5 shi2 li4 and proc shi4 fu4 zhi4 de5 shi2 li4 and proc shi4 virus de5 shi1 shi4 zhe3, then there exists xi4 bao1 cell so_that_not proc wei4 yu1 cell.

(=>
      (and
            (instance ?VIRUS Virus)
            (instance ?PROC Replication)
            (agent ?PROC ?VIRUS))
      (exists
            (?CELL)
            (and
                  (located ?PROC ?CELL)
                  (instance ?CELL Cell))))

If building shi4 jian4 zhu4 wu4 de5 shi2 li4, then there exists ren2 lei4 human so_that_not

human zhu4s zai4 building
there exists act so_that_not act shi4 human de5 shi1 shi4 zhe3 and act wei4 yu1 building

(=>
      (instance ?BUILDING Building)
      (exists
            (?HUMAN)
            (and
                  (instance ?HUMAN Human)
                  (or
                        (inhabits ?HUMAN ?BUILDING)
                        (exists
                              (?ACT)
                              (and
                                    (agent ?ACT ?HUMAN)
                                    (located ?ACT ?BUILDING)))))))

If obj1 dui4 obj2 shi4 zai4...shang4, then obj1 wei4 yu1 obj2.

(=>
      (orientation ?OBJ1 ?OBJ2 On)
      (located ?OBJ1 ?OBJ2))

If pei1 tai1 de5 shi4 org de5 shu3 xing4, then there exists sheng1 zhi2 gou4 zao4 body so_that_not org wei4 yu1 body.

(=>
      (attribute ?ORG Embryonic)
      (exists
            (?BODY)
            (and
                  (instance ?BODY ReproductiveBody)
                  (located ?ORG ?BODY))))