SUMO View all facts Glossary Help |
unparented > overlapsPartially |
overlapsPartially | ||||
subject | fact |
overlapsPartially | documentation (overlapsPartially ?OBJ1 ?OBJ2) means that ?OBJ1 and ?OBJ2 have part(s) in common, but neither ?OBJ1 nor ?OBJ2 is a part of the other | |
has axiom (=> |