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

exactly located (exactlyLocated)

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

Ontology

SUMO / BASE-ONTOLOGY

Superrelation(s)

partly located
is subrelation of
  located  
is subrelation of
  exactly located  

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 is partly located in region, then there exists subobj so that subobj is a part of obj and subobj is exactly located in region. 
(=>
      (partlyLocated ?OBJ ?REGION)
      (exists
            (?SUBOBJ)
            (and
                  (part ?SUBOBJ ?OBJ)
                  (exactlyLocated ?SUBOBJ ?REGION))))
If obj is exactly located in region, then there doesn't exist otherobj so that otherobj is exactly located in region and otherobj is not equal to obj. 
(=>
      (exactlyLocated ?OBJ ?REGION)
      (not
            (exists
                  (?OTHEROBJ)
                  (and
                        (exactlyLocated ?OTHEROBJ ?REGION)
                        (not
                              (equal ?OTHEROBJ ?OBJ))))))
"the place where thing was at time" is equal to region if and only if thing is exactly located in region during time. 
(<=>
      (equal
            (WhereFn ?THING ?TIME)
            ?REGION)
      (holdsDuring
            ?TIME
            (exactlyLocated ?THING ?REGION)))