SUMO   View all facts   Glossary   Help
unparented > exactlyLocated
Next unparentedfather    Upunparented    Previous unparentedengineeringSubcomponent   

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