SUMO   View all facts   Glossary   Help
unparented > interiorPart
Next unparented: length    Up: unparented    Previous unparented: instrument   

interiorPart
subjectfact 
interiorPartdocumentation (interiorPart ?OBJ1 ?OBJ2) means that ?OBJ1 is part ?OBJ2 and there is no overlap between ?OBJ1 and any superficialPart ?OBJ22001-11-30 13:34:31.0
has axiom 
(=> 
 	(superficialPart ?OBJ1 ?OBJ2)
 	(and
 		(not
 			(interiorPart ?OBJ1 ?OBJ2))
 		(not
 			(exists (?OBJ3)
 				(interiorPart ?OBJ3 ?OBJ1)))))
2001-11-30 13:34:31.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:31.0
has axiom 
(=>
 	(interiorPart ?OBJ1 ?OBJ2)
      	(forall (?PART)
                	(=> 
                     	(superficialPart ?PART ?OBJ2)
                     	(not
                          	(overlapsSpatially ?OBJ1 ?PART)))))
2001-11-30 13:34:31.0