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)

Agar obj is partly located in region, to yah kuch subobj nahin, ki subobj is a part of obj aur subobj is exactly located in region. 
(=>
      (partlyLocated ?OBJ ?REGION)
      (exists
            (?SUBOBJ)
            (and
                  (part ?SUBOBJ ?OBJ)
                  (exactlyLocated ?SUBOBJ ?REGION))))
Agar obj is exactly located in region, to yah kuch otherobj nahin, ki otherobj is exactly located in region aur otherobj is not equal to obj. 
(=>
      (exactlyLocated ?OBJ ?REGION)
      (not
            (exists
                  (?OTHEROBJ)
                  (and
                        (exactlyLocated ?OTHEROBJ ?REGION)
                        (not
                              (equal ?OTHEROBJ ?OBJ))))))
"thing ki jagah time tha" is equal to region agar hai thing is exactly located in region during time. 
(<=>
      (equal
            (WhereFn ?THING ?TIME)
            ?REGION)
      (holdsDuring
            ?TIME
            (exactlyLocated ?THING ?REGION)))