SUMO   View all facts   Glossary   Help
unparented > superficialPart
Next unparentedsurface    Upunparented    Previous unparentedsubsumingExternalConcept   

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 unparentedsurface    Upunparented    Previous unparentedsubsumingExternalConcept