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

overlapsSpatially comparison table
Subject documentation have axiom
unparented  
overlapsSpatially(overlapsSpatially ?OBJ1 ?OBJ2) means that the Objects ?OBJ1 and ?OBJ2 have some parts in common. This is a reflexive and symmetric (but not transitive) relation
(=>
 	(meetsSpatially ?OBJ1 ?OBJ2)
      	(not
         	(overlapsSpatially ?OBJ1 ?OBJ2)))

Next unparented: partition    Up: unparented    Previous unparented: overlapsPartially