SUMO View all facts Glossary Help |
unparented > superficialPart |
superficialPart | ||||
subject | fact |
superficialPart | documentation (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 | |
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> |