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)

aatmavaachaka sambandha
is instance of

saamanjasyapUrNa sambandha
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)

Agar obj1 is connected to obj2, to obj1 meets obj2 yaa 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 agar hai yah kuch obj3 nahin, ki obj3 is a part of obj1 aur obj3 is a part of obj2.

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

Agar obj is partly located in region, to obj overlaps with region.

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

Agar obj1 is a member of coll aur obj2 is a member of coll aur obj1 is not equal to obj2, to obj1 doesn't overlap with obj2.

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

Agar rel is an instance of vibhakti bhUmikaa aur rel(process,obj) holds, to yah kuch time nahin, ki "process ki jagah time tha" overlaps with obj.

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

agar obj1 is a interior part of obj2,
to sab-kuch part ke lie hai, ki: agar part is a superficial part of obj2, to obj1 doesn't overlap with part

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

Agar hole obj men chidra hai, to hole doesn't overlap with obj.

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

Agar hole obj1 men chidra hai aur obj1 is a part of obj2, to hole overlaps with obj2 yaa hole obj2 men chidra hai.

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

Agar hole1 obj1 men chidra hai aur hole2 obj2 men chidra hai aur hole1 overlaps with hole2, to obj1 overlaps with obj2.

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

Agar obj1 is equal to "the host of the hole hole", to sab-kuch obj2 ke lie hai, ki: obj2 overlaps with obj1 agar hai yah kuch obj3 nahin, ki hole obj3 men chidra hai aur obj2 overlaps with obj3.

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

Agar obj1 fills hole aur fillable is an attribute of obj2, to obj1 doesn't overlap with obj2.

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

Agar obj1 is equal to "the surface of the hole hole", to sab-kuch obj2 ke lie hai, ki: obj2 overlaps with obj1 agar hai yah kuch obj3 nahin, ki obj3 is a superficial part of "the host of the hole hole" aur hole meets obj3 aur 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))))))