meets spatially (meetsSpatially)
(meetsSpatially obj1 obj2) means that
obj1 and obj2 are connected but that neither obj1 nor obj2
overlapsSpatially the other.
SUMO / MEREOTOPOLOGY
connected engineering components
successor attribute closure
Related WordNet synsets
See more related synsets on a separate page.
If obj1 is connected to obj2, then obj1 meets obj2 or obj1 overlaps with obj2.
(connected ?OBJ1 ?OBJ2)
(meetsSpatially ?OBJ1 ?OBJ2)
(overlapsSpatially ?OBJ1 ?OBJ2)))
meets spatially and overlaps spatially are disjoint.
(disjointRelation meetsSpatially overlapsSpatially)
If hole1 is an instance of hole and hole2 is a properPart of hole1, then there exists obj so that hole1 meets obj and hole2 doesn't meet obj.
(instance ?HOLE1 Hole)
(properPart ?HOLE2 ?HOLE1))
(meetsSpatially ?HOLE1 ?OBJ)
(meetsSpatially ?HOLE2 ?OBJ)))))
If obj1 is equal to "the surface of the hole hole", then for all obj2 holds: obj2 overlaps with obj1 if and only if there exists obj3 so that obj3 is a superficial part of "the host of the hole hole" and hole meets obj3 and obj2 overlaps with obj3.
(overlapsSpatially ?OBJ2 ?OBJ1)
(meetsSpatially ?HOLE ?OBJ3)
(overlapsSpatially ?OBJ2 ?OBJ3))))))