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

exactlyLocated
subjectfact 
exactlyLocateddocumentation The actual, minimal location of an Object. This is a subrelation of the more general Predicate located2001-11-30 13:34:12.0
has axiom 
(=>
    (contains ?OBJ1 ?OBJ2)
    (forall (?PART2)
       (=>
          (part ?PART2 ?OBJ2)
          (exists (?PART1)
             (and
                (interiorPart ?PART1 ?OBJ1)
                (exactlyLocated ?PART2 ?PART1))))))
2001-11-30 13:34:12.0
has axiom 
(=>
    (equal (WhereFn ?THING ?TIME) ?REGION)
    (holdsDuring ?TIME (exactlyLocated ?THING ?REGION)))
2001-11-30 13:34:12.0
has axiom 
(=>
    (exactlyLocated ?OBJ ?REGION)
    (not
       (exists (?OTHEROBJ)
          (and
             (exactlyLocated ?OTHEROBJ ?REGION)
             (not
                (equal ?OTHEROBJ ?OBJ))))))
2001-11-30 13:34:12.0
has axiom 
(=>
    (partlyLocated ?OBJ ?REGION)
    (exists (?SUBOBJ)
       (and
          (part ?SUBOBJ ?OBJ)
          (exactlyLocated ?SUBOBJ ?REGION))))
2001-11-30 13:34:12.0