Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

jing1 que4 wei4 yu1 (exactlyLocated)

The actual, minimal location of an Object. This is a subrelation of the more general Predicate located.

Ontology

SUMO / BASE-ONTOLOGY

Superrelation(s)

bu4 fen5 wei4 yu1
is subrelation of
  wei4 yu1  
is subrelation of
  jing1 que4 wei4 yu1  

Related WordNet synsets

point
the precise location of something; a spatially limited location; "she walked to a point where she could survey the whole street"
point is kind of (all)...   point is kind of...   kinds of point...   kinds of point (all)...  

Axioms (3)

If obj bu4 fen5 wei4 yu1 region, then there exists subobj so_that_not subobj shi4 obj de5 bu4 fen5) and subobj jing1 que4 wei4 yu1 region. 
(=>
      (partlyLocated ?OBJ ?REGION)
      (exists
            (?SUBOBJ)
            (and
                  (part ?SUBOBJ ?OBJ)
                  (exactlyLocated ?SUBOBJ ?REGION))))
If obj jing1 que4 wei4 yu1 region, then there doesn't exist otherobj so_that_not otherobj jing1 que4 wei4 yu1 region and otherobj deng3 yu1 obj. 
(=>
      (exactlyLocated ?OBJ ?REGION)
      (not
            (exists
                  (?OTHEROBJ)
                  (and
                        (exactlyLocated ?OTHEROBJ ?REGION)
                        (not
                              (equal ?OTHEROBJ ?OBJ))))))
"thing zai4 time de5 timewei4 zhi4" deng3 yu1 region if and only if thing jing1 que4 wei4 yu1 region timea(zhi1 zhong1) time. 
(<=>
      (equal
            (WhereFn ?THING ?TIME)
            ?REGION)
      (holdsDuring
            ?TIME
            (exactlyLocated ?THING ?REGION)))