Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Fillable
Fillable(可填寫)

appearance as argument number 1
-------------------------


(documentation Fillable ChineseLanguage "如果说一样东西是 Fillable,这个东西就是可以由某些其他 的东西来来填满。注:'填满'在这里是指完全的填满,某样东西是可填满,以防它是洞的一部分,即是可以填满这个特性, 是洞和它的部分独有的特性。") chinese_format.kif 2866-2868
(documentation Fillable EnglishLanguage "Something is Fillable if it can be filled by something else. Note that 'filled' here means perfectly filled. Something is fillable just in case it is part of a hole, i.e., fillability is an exclusive property of holes and their parts.") Merge.kif 9951-9954
(documentation Fillable JapaneseLanguage "何か他のもので満たすことができる場合は、何かが Fillable である。注:ここで「充填」は完全に充填されたことを意味する。何かがホールの一部である場 合に備えて充填可能であり、すなわち、充填性はホールとその部分の排他的な特性である。") japanese_format.kif 1613-1615
(instance Fillable ShapeAttribute) Merge.kif 9949-9949 可填寫 and ShapeAttribute

appearance as argument number 2
-------------------------


(relatedInternalConcept fills Fillable) Merge.kif 10025-10025 相關的內部概念 填充 and 可填寫
(termFormat ChineseLanguage Fillable "可填写") domainEnglishFormat.kif 23666-23666
(termFormat ChineseTraditionalLanguage Fillable "可填寫") domainEnglishFormat.kif 23665-23665
(termFormat EnglishLanguage Fillable "fillable") domainEnglishFormat.kif 23664-23664

antecedent
-------------------------


(=>
    (and
        (fills ?OBJ1 ?HOLE)
        (attribute ?OBJ2 Fillable))
    (not
        (overlapsSpatially ?OBJ1 ?OBJ2)))
Merge.kif 10032-10037
(=>
    (attribute ?HOLE1 Fillable)
    (exists (?HOLE2)
        (and
            (instance ?HOLE2 HoleRegion)
            (part ?HOLE1 ?HOLE2))))
Merge.kif 9961-9966

consequent
-------------------------


(=>
    (and
        (instance ?HOLE2 HoleRegion)
        (part ?HOLE1 ?HOLE2))
    (attribute ?HOLE1 Fillable))
Merge.kif 9968-9972
(=>
    (and
        (instance ?X Penne)
        (not
            (exists (?Y)
                (and
                    (instance ?Y Penne)
                    (part ?Y ?X)))))
    (and
        (exists (?HOLE2)
            (and
                (instance ?HOLE2 HoleRegion)
                (part ?X ?HOLE2)))
        (attribute ?X Fillable)))
Food.kif 2763-2776
(=>
    (holdsDuring ?TIME
        (fills ?OBJ ?HOLE))
    (attribute ?HOLE Fillable))
Merge.kif 9956-9959


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners