SUMO View all facts Glossary Help |
unparented > interiorPart |
interiorPart | ||||
subject | fact |
interiorPart | documentation (interiorPart ?OBJ1 ?OBJ2) means that ?OBJ1 is part ?OBJ2 and there is no overlap between ?OBJ1 and any superficialPart ?OBJ2 | |
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> |