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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BreadOrBiscuit
BreadOrBiscuit

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


(documentation BreadOrBiscuit EnglishLanguage "Food that consists largely of grain flour and water. Note that this class covers crackers, cookies, as well as any self-connected instance of bread, whether it is a loaf, a slice, a chunk of bread, etc.") Mid-level-ontology.kif 19293-19296
(subclass BreadOrBiscuit PreparedFood) Mid-level-ontology.kif 19292-19292

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


(subclass Bagel BreadOrBiscuit) Food.kif 510-510
(subclass Pancake BreadOrBiscuit) Food.kif 738-738
(termFormat ChineseLanguage BreadOrBiscuit "面包或饼干") domainEnglishFormat.kif 11821-11821
(termFormat ChineseTraditionalLanguage BreadOrBiscuit "麵包或餅乾") domainEnglishFormat.kif 11820-11820
(termFormat EnglishLanguage BreadOrBiscuit "bread or biscuit") domainEnglishFormat.kif 11819-11819

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


(=>
    (instance ?B BreadOrBiscuit)
    (exists (?D ?BAKE)
        (and
            (instance ?D Dough)
            (instance ?BAKE Baking)
            (resource ?BAKE ?D)
            (result ?BAKE ?B))))
Mid-level-ontology.kif 19297-19304

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


(=>
    (instance ?S Sandwich)
    (exists (?B1 ?B2 ?F)
        (and
            (instance ?B1 BreadOrBiscuit)
            (instance ?B2 BreadOrBiscuit)
            (instance ?F
                (FoodForFn Human))
            (between ?B1 ?F ?B2)
            (not
                (equal ?B1 ?B2))
            (not
                (equal ?B1 ?F))
            (not
                (equal ?B2 ?F))
            (part ?B1 ?S)
            (part ?B2 ?S)
            (part ?F ?S))))
Mid-level-ontology.kif 19310-19323


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