正部分 (properPart)

(properPart obj1 obj2) means that obj1 is a part of obj2 other than obj2 itself. This is a TransitiveRelation and AsymmetricRelation (hence an IrreflexiveRelation).

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

不對稱關係

可遞關係

正部分

Superrelation(s)

部分位於

位於

部分

正部分

Subrelation(s)

工程次元件

Coordinate term(s)

反面函數計數函數正面函數主體函數或然率函數表皮函數屬性作者先於肇因次類肇因公民封閉於填滿包含訊息相交日期發展期形式文字說明持續時間期間較早編者元素等同關係於利用以...語言表達填充完成次數圖部分大於有意圖有技巧在...期間為真須使...為真有權使...為真洞同一元素直接實例直接次種類串列中在注意範圍中居住內部非反射於... 大於小於方式/情狀測量時段相接成員情態屬性雙親偏序於... 部分填充路徑長穿入擁有先決條件適當填充出版範圍範圍次種類實現反射於... 小於開始次聚集次圖次組織次計畫次命題續接屬性封閉續接屬性外表部分表面時間部分時間全序於... 三分法使用（結合）價人造物版本

Related WordNet synsets

part, portion: something less than the whole of a human artifact: "the rear part of the house"; "glue the two parts together"

See more related synsets on a separate page.

Axioms (8)

obj1 是 obj2 的正部分 if and only if obj1 是 obj2 的部分) and obj2 是 obj1 的部分).

(<=>
      (properPart ?OBJ1 ?OBJ2)
      (and
            (part ?OBJ1 ?OBJ2)
            (not
                  (part ?OBJ2 ?OBJ1))))

If hole 在 obj1 是 �} and hole 在 obj2 是 �}, then there exists obj3 so that obj3 是 "obj1 和 obj2 的交集" 的正部分 and hole 在 obj3 是 �}.

(=>
      (and
            (hole ?HOLE ?OBJ1)
            (hole ?HOLE ?OBJ2))
      (exists
            (?OBJ3)
            (and
                  (properPart
                        ?OBJ3
                        (MereologicalProductFn ?OBJ1 ?OBJ2))
                  (hole ?HOLE ?OBJ3))))

If hole1 是洞的實例, then there exists hole2 so that hole2 是 hole1 的正部分.

(=>
      (instance ?HOLE1 Hole)
      (exists
            (?HOLE2)
            (properPart ?HOLE2 ?HOLE1)))

If hole1 是洞的實例 and hole2 是 hole1 的正部分, then there exists obj so that hole1 (沒) 接觸s obj and hole2 not(沒) 接觸 obj.

(=>
      (and
            (instance ?HOLE1 Hole)
            (properPart ?HOLE2 ?HOLE1))
      (exists
            (?OBJ)
            (and
                  (meetsSpatially ?HOLE1 ?OBJ)
                  (not
                        (meetsSpatially ?HOLE2 ?OBJ)))))

If obj (沒) 填充s hole1 and hole2 是 hole1 的正部分, then obj (沒) 填充s hole2.

(=>
      (and
            (fills ?OBJ ?HOLE1)
            (properPart ?HOLE2 ?HOLE1))
      (completelyFills ?OBJ ?HOLE2))

If obj1 (沒) 填充s hole and obj2 是 obj1 的正部分, then obj2 (沒) 適當填充s hole.

(=>
      (and
            (fills ?OBJ1 ?HOLE)
            (properPart ?OBJ2 ?OBJ1))
      (properlyFills ?OBJ2 ?HOLE))

If state 是州或省的實例, then there exists 國家 land so that state 是 land 的正部分.

(=>
      (instance ?STATE StateOrProvince)
      (exists
            (?LAND)
            (and
                  (instance ?LAND Nation)
                  (properPart ?STATE ?LAND))))

If room 是房間的實例, then there exists 建築物 build so that room 是 build 的正部分.

(=>
      (instance ?ROOM Room)
      (exists
            (?BUILD)
            (and
                  (instance ?BUILD Building)
                  (properPart ?ROOM ?BUILD))))