SUMO View all facts Glossary Help |
unparented > interiorPart |
interiorPart comparison table |
Subject | documentation | have axiom |
---|---|---|
unparented | ||
interiorPart | (interiorPart ?OBJ1 ?OBJ2) means that ?OBJ1 is part ?OBJ2 and there is no overlap between ?OBJ1 and any superficialPart ?OBJ2 | (=> |
Next unparented: length Up: unparented Previous unparented: instrument