SUMO View all facts Glossary Help |
unparented > superficialPart |
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 | (=> |
Next unparented: surface Up: unparented Previous unparented: subsumingExternalConcept