SUMO   View all facts   Glossary   Help
unparented > exactlyLocated
Next unparented: father    Up: unparented    Previous unparented: engineeringSubcomponent   

exactlyLocated comparison table
Subject documentation have axiom
unparented  
exactlyLocatedThe actual, minimal location of an Object. This is a subrelation of the more general Predicate located
(=>
    (partlyLocated ?OBJ ?REGION)
    (exists (?SUBOBJ)
       (and
          (part ?SUBOBJ ?OBJ)
          (exactlyLocated ?SUBOBJ ?REGION))))

Next unparented: father    Up: unparented    Previous unparented: engineeringSubcomponent