SUMO   View all facts   Glossary   Help
unparented > overlapsPartially
Next unparented: overlapsSpatially    Up: unparented    Previous unparented: mother   

overlapsPartially comparison table
Subject documentation have axiom
unparented  
overlapsPartially(overlapsPartially ?OBJ1 ?OBJ2) means that ?OBJ1 and ?OBJ2 have part(s) in common, but neither ?OBJ1 nor ?OBJ2 is a part of the other
(=>
 	(overlapsPartially ?OBJ1 ?OBJ2)
 	(and
 		(not
 			(part ?OBJ1 ?OBJ2))
 		(not
 			(part ?OBJ2 ?OBJ1))))

Next unparented: overlapsSpatially    Up: unparented    Previous unparented: mother