SUMO   View all facts   Glossary   Help
unparented > superficialPart
Next unparented: surface    Up: unparented    Previous unparented: subsumingExternalConcept   

superficialPart comparison table
Subject documentation have axiom
unparented  
superficialPart(superficialPart ?OBJ1 ?OBJ2) means that ?OBJ1 is a part of ?OBJ2 that has no interior parts of its own (or, intuitively, that only overlaps those parts of ?OBJ2 that are externally connected with the geometric complement of ?OBJ2). This too is a transitive relation closed under MereologicalSumFn and MereologicalProductFn
(=>
 	(interiorPart ?OBJ1 ?OBJ2)
      	(forall (?PART)
                	(=> 
                     	(superficialPart ?PART ?OBJ2)
                     	(not
                          	(overlapsSpatially ?OBJ1 ?PART)))))

Next unparented: surface    Up: unparented    Previous unparented: subsumingExternalConcept