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

精確位於 (exactlyLocated)

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

Ontology

SUMO / BASE-ONTOLOGY

Superrelation(s)

部分位於
is subrelation of
  位於  
is subrelation of
  精確位於  

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 部分位於 region, then there exists subobj so that subobj 是 obj 的 部分) and subobj 精確位於 region. 
(=>
      (partlyLocated ?OBJ ?REGION)
      (exists
            (?SUBOBJ)
            (and
                  (part ?SUBOBJ ?OBJ)
                  (exactlyLocated ?SUBOBJ ?REGION))))
If obj 精確位於 region, then there doesn't exist otherobj so that otherobj 精確位於 region and otherobj 等於 obj. 
(=>
      (exactlyLocated ?OBJ ?REGION)
      (not
            (exists
                  (?OTHEROBJ)
                  (and
                        (exactlyLocated ?OTHEROBJ ?REGION)
                        (not
                              (equal ?OTHEROBJ ?OBJ))))))
"thing 在 time 的 time位置" 等於 region if and only if thing 精確位於 region timea(之中) time. 
(<=>
      (equal
            (WhereFn ?THING ?TIME)
            ?REGION)
      (holdsDuring
            ?TIME
            (exactlyLocated ?THING ?REGION)))