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

interiorPart comparison table
Subject documentation have axiom
unparented  
interiorPart(interiorPart ?OBJ1 ?OBJ2) means that ?OBJ1 is part ?OBJ2 and there is no overlap between ?OBJ1 and any superficialPart ?OBJ2
(=>
 	(interiorPart ?OBJ1 ?OBJ2)
      	(forall (?PART)
                	(=> 
                     	(superficialPart ?PART ?OBJ2)
                     	(not
                          	(overlapsSpatially ?OBJ1 ?PART)))))

Next unparented: length    Up: unparented    Previous unparented: instrument