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,这个东西就是可以由某些其他 的东西来来填满。注:'填满'在这里是指完全的填满,某样东西是可填满,以防它是洞的一部分,即是可以填满这个特性, 是洞和它的部分独有的特性。") Merge.kif 9982-9984
(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 9978-9981
(instance Fillable ShapeAttribute) Merge.kif 9977-9977 instance Fillable and 形状属性

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


(relatedInternalConcept fills Fillable) Merge.kif 10079-10079 relatedInternalConcept fills and Fillable
(termFormat EnglishLanguage Fillable "fillable") domainEnglishFormat.kif 4366-4366 termFormat EnglishLanguage, Fillable and "fillable"

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


(<=>
    (attribute ?HOLE1 Fillable)
    (exists (?HOLE2)
        (and
            (instance ?HOLE2 Hole)
            (part ?HOLE1 ?HOLE2))))
Merge.kif 9992-9997 attribute オブジェクト and Fillable オブジェクト instance オブジェクト and ホール part オブジェクト and オブジェクト
(=>
    (and
        (fills ?OBJ1 ?HOLE)
        (attribute ?OBJ2 Fillable))
    (not
        (overlapsSpatially ?OBJ1 ?OBJ2)))
Merge.kif 10091-10096

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


(=>
    (and
        (instance ?X Penne)
        (not
            (exists (?Y)
                (and
                    (instance ?Y Penne)
                    (part ?Y ?X)))))
    (and
        (exists (?HOLE2)
            (and
                (instance ?HOLE2 Hole)
                (part ?X ?HOLE2)))
        (attribute ?X Fillable)))
Food.kif 775-788
(=>
    (exists (?TIME)
        (holdsDuring ?TIME
            (fills ?OBJ ?HOLE)))
    (attribute ?HOLE Fillable))
Merge.kif 9986-9990


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners