overlaps spatially (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.

Ontology

SUMO / MEREOTOPOLOGY

Class(es)

reflexive relation
is instance of

symmetric relation
is instance of

overlaps spatially

Superrelation(s)

connected

overlaps spatially

Subrelation(s)

overlaps partially

Coordinate term(s)

connected connected engineering components disjoint independent probability meets spatially overlaps partially overlaps temporally partly located sibling sub graph

Related WordNet synsets

See more related synsets on a separate page.

Axioms (13)

If obj1 is connected to obj2, then obj1 meets obj2 or obj1 overlaps with obj2.

(=>
      (connected ?OBJ1 ?OBJ2)
      (or
            (meetsSpatially ?OBJ1 ?OBJ2)
            (overlapsSpatially ?OBJ1 ?OBJ2)))

meets spatially and overlaps spatially are disjoint.

(disjointRelation meetsSpatially overlapsSpatially)

obj1 overlaps with obj2 if and only if there exists obj3 so that obj3 is a part of obj1 and obj3 is a part of obj2.

(<=>
      (overlapsSpatially ?OBJ1 ?OBJ2)
      (exists
            (?OBJ3)
            (and
                  (part ?OBJ3 ?OBJ1)
                  (part ?OBJ3 ?OBJ2))))

If obj is partly located in region, then obj overlaps with region.

(=>
      (partlyLocated ?OBJ ?REGION)
      (overlapsSpatially ?OBJ ?REGION))

If obj1 is a member of coll and obj2 is a member of coll and obj1 is not equal to obj2, then obj1 doesn't overlap with obj2.

(=>
      (and
            (member ?OBJ1 ?COLL)
            (member ?OBJ2 ?COLL)
            (not
                  (equal ?OBJ1 ?OBJ2)))
      (not
            (overlapsSpatially ?OBJ1 ?OBJ2)))

If rel is an instance of case role and rel(process,obj) holds, then there exists time so that "the place where process was at time" overlaps with obj.

(=>
      (and
            (instance ?REL CaseRole)
            (holds ?REL ?PROCESS ?OBJ))
      (exists
            (?TIME)
            (overlapsSpatially
                  (WhereFn ?PROCESS ?TIME)
                  ?OBJ)))

if obj1 is a interior part of obj2,
then for all part holds: if part is a superficial part of obj2, then obj1 doesn't overlap with part

(=>
      (interiorPart ?OBJ1 ?OBJ2)
      (forall
            (?PART)
            (=>
                  (superficialPart ?PART ?OBJ2)
                  (not
                        (overlapsSpatially ?OBJ1 ?PART)))))

If hole is a hole in obj, then hole doesn't overlap with obj.

(=>
      (hole ?HOLE ?OBJ)
      (not
            (overlapsSpatially ?HOLE ?OBJ)))

If hole is a hole in obj1 and obj1 is a part of obj2, then hole overlaps with obj2 or hole is a hole in obj2.

(=>
      (and
            (hole ?HOLE ?OBJ1)
            (part ?OBJ1 ?OBJ2))
      (or
            (overlapsSpatially ?HOLE ?OBJ2)
            (hole ?HOLE ?OBJ2)))

If hole1 is a hole in obj1 and hole2 is a hole in obj2 and hole1 overlaps with hole2, then obj1 overlaps with obj2.

(=>
      (and
            (hole ?HOLE1 ?OBJ1)
            (hole ?HOLE2 ?OBJ2)
            (overlapsSpatially ?HOLE1 ?HOLE2))
      (overlapsSpatially ?OBJ1 ?OBJ2))

If obj1 is equal to "the host of the hole hole", then for all obj2 holds: obj2 overlaps with obj1 if and only if there exists obj3 so that hole is a hole in obj3 and obj2 overlaps with obj3.

(=>
      (equal
            ?OBJ1
            (PrincipalHostFn ?HOLE))
      (forall
            (?OBJ2)
            (<=>
                  (overlapsSpatially ?OBJ2 ?OBJ1)
                  (exists
                        (?OBJ3)
                        (and
                              (hole ?HOLE ?OBJ3)
                              (overlapsSpatially ?OBJ2 ?OBJ3))))))

If obj1 fills hole and fillable is an attribute of obj2, then obj1 doesn't overlap with obj2.

(=>
      (and
            (fills ?OBJ1 ?HOLE)
            (attribute ?OBJ2 Fillable))
      (not
            (overlapsSpatially ?OBJ1 ?OBJ2)))

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.

(=>
      (equal
            ?OBJ1
            (SkinFn ?HOLE))
      (forall
            (?OBJ2)
            (<=>
                  (overlapsSpatially ?OBJ2 ?OBJ1)
                  (exists
                        (?OBJ3)
                        (and
                              (superficialPart
                                    ?OBJ3
                                    (PrincipalHostFn ?HOLE))
                              (meetsSpatially ?HOLE ?OBJ3)
                              (overlapsSpatially ?OBJ2 ?OBJ3))))))