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

overlapsPartially
subjectfact 
overlapsPartiallydocumentation (overlapsPartially ?OBJ1 ?OBJ2) means that ?OBJ1 and ?OBJ2 have part(s) in common, but neither ?OBJ1 nor ?OBJ2 is a part of the other2001-11-30 13:34:54.0
has axiom 
(=>
 	(overlapsPartially ?OBJ1 ?OBJ2)
 	(and
 		(not
 			(part ?OBJ1 ?OBJ2))
 		(not
 			(part ?OBJ2 ?OBJ1))))
2001-11-30 13:34:54.0