適當填充 (properlyFills)

(properlyFills obj hole) means that hole is properly (though perhaps incompletely) filled by obj, i.e. some part of hole is perfectly filled by obj. Note that properlyFills is the dual of completelyFills, and is so related to partiallyFills that obj properlyFills hole just in case obj partiallyFills every part of hole. (Thus, every perfect filler is both complete and proper in this sense).

Ontology

SUMO / MEREOTOPOLOGY

Class(es)

不對稱關係

適當填充

Superrelation(s)

部分位於

位於

部分填充

適當填充

Subrelation(s)

填充

Coordinate term(s)

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

Type restrictions

properlyFills(物體, 洞)

Axioms (4)

If obj (沒) 適當填充s hole1, then there exists hole2 so that hole2 是 hole1 的部分) and obj (沒) 填充s hole2.

(=>
      (properlyFills ?OBJ ?HOLE1)
      (exists
            (?HOLE2)
            (and
                  (part ?HOLE2 ?HOLE1)
                  (fills ?OBJ ?HOLE2))))

If obj1 (沒) 適當填充s hole and obj2 與 obj1 相連, then hole 與 obj2 相連.

(=>
      (and
            (properlyFills ?OBJ1 ?HOLE)
            (connected ?OBJ2 ?OBJ1))
      (connected ?HOLE ?OBJ2))

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

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

If area 是水域的實例, then there exist bed,hole,水 water so that "洞 hole 的主體" 等於 bed and water (沒) 適當填充s hole and "bed 和 water 的聯集" 等於 area.

(=>
      (instance ?AREA WaterArea)
      (exists
            (?BED ?HOLE ?WATER)
            (and
                  (equal
                        (PrincipalHostFn ?HOLE)
                        ?BED)
                  (instance ?WATER Water)
                  (properlyFills ?WATER ?HOLE)
                  (equal
                        (MereologicalSumFn ?BED ?WATER)
                        ?AREA))))