空間重疊 (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)

反身關係

對稱關係

空間重疊

Superrelation(s)

相連的

空間重疊

Subrelation(s)

部分重疊

Coordinate term(s)

相連的已連結工程元件無交集獨立或然率空間上接觸部分重疊時段重疊部分位於兄弟姊妹次圖

Related WordNet synsets

See more related synsets on a separate page.

Axioms (13)

If obj1 與 obj2 相連, then obj1 (沒) 接觸s obj2 or obj1 (沒) 與 obj2 重�|s.

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

無交集關係(空間上接觸,空間重疊) holds.

(disjointRelation meetsSpatially overlapsSpatially)

obj1 (沒) 與 obj2 重�|s if and only if there exists obj3 so that obj3 是 obj1 的部分) and obj3 是 obj2 的部分).

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

If obj 部分位於 region, then obj (沒) 與 region 重�|s.

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

If obj1 是 coll的成員 and obj2 是 coll的成員 and obj1 等於 obj2, then obj1 not(沒) 與 obj2 重�|.

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

If rel 是格位角色的實例 and rel(process,obj) (不) 成立s, then there exists time so that "process 在 time 的 time位置" (沒) 與 obj 重�|s.

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

if obj1 是 obj2 的一內部,
then for all part holds: if part 是 obj2的 �~表部分, then obj1 not(沒) 與 part 重�|

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

If hole 在 obj 是 �}, then hole not(沒) 與 obj 重�|.

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

If hole 在 obj1 是 �} and obj1 是 obj2 的部分), then hole (沒) 與 obj2 重�|s or hole 在 obj2 是 �}.

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

If hole1 在 obj1 是 �} and hole2 在 obj2 是 �} and hole1 (沒) 與 hole2 重�|s, then obj1 (沒) 與 obj2 重�|s.

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

If obj1 等於 "洞 hole 的主體", then for all obj2 holds: obj2 (沒) 與 obj1 重�|s if and only if there exists obj3 so that hole 在 obj3 是 �} and obj2 (沒) 與 obj3 重�|s.

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

If obj1 (沒) 填充s hole and 可填充的是 obj2 的屬性, then obj1 not(沒) 與 obj2 重�|.

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

If obj1 等於 "洞 hole 的表皮", then for all obj2 holds: obj2 (沒) 與 obj1 重�|s if and only if there exists obj3 so that obj3 是 "洞 hole 的主體"的 �~表部分 and hole (沒) 接觸s obj3 and obj2 (沒) 與 obj3 重�|s.

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