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

部分填充 (partiallyFills)

(partiallyFills obj hole) means that obj completelyFills some part of hole. Note that if (partiallyFills obj1 hole) and (part obj1 obj2), then (partiallyFills obj2 hole). Note too that a partial filler need not be wholly inside a hole (it may stick out), which means that every complete filler also qualifies as (is a limit case of) a partial one.

Ontology

SUMO / MEREOTOPOLOGY

Class(es)

種類
is instance of
  可繼承關係  
is instance of
  空間關係  
is instance of
不對稱關係
is instance of
is instance of
  部分填充  

Superrelation(s)

部分位於
is subrelation of
  位於  
is subrelation of
  部分填充  

Subrelation(s)

適當填充  填滿 

Coordinate term(s)

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

Type restrictions

partiallyFills(物體, 洞)

Related WordNet synsets

containment
the act of containing something
containment is kind of (all)...   containment is kind of...  
See more related synsets on a separate page.

Axioms (1)

If obj (沒) 部分填充s hole1, then there exists hole2 so that hole2 是 hole1 的 部分) and obj (沒) 填充s hole2. 
(=>
      (partiallyFills ?OBJ ?HOLE1)
      (exists
            (?HOLE2)
            (and
                  (part ?HOLE2 ?HOLE1)
                  (completelyFills ?OBJ ?HOLE2))))