Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi Concept: English word: Home

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

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))))))```