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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BreadOrBiscuit

Sigma KEE - BreadOrBiscuit
BreadOrBiscuit(麵包或餅乾)

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


(documentation BreadOrBiscuit EnglishLanguage "Food that consists largely of WheatFlour 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.") Food.kif 1557-1560
(subclass BreadOrBiscuit PreparedFood) Food.kif 1555-1555 子類 麵包或餅乾 and 已準備食物

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


(subclass Bagel BreadOrBiscuit) Food.kif 2143-2143 子類 Bagel and 麵包或餅乾
(subclass Pancake BreadOrBiscuit) Food.kif 2715-2715 子類 Pancake and 麵包或餅乾
(termFormat ChineseLanguage BreadOrBiscuit "面包或饼干") domainEnglishFormat.kif 11879-11879
(termFormat ChineseTraditionalLanguage BreadOrBiscuit "麵包或餅乾") domainEnglishFormat.kif 11878-11878
(termFormat EnglishLanguage BreadOrBiscuit "bread or biscuit") domainEnglishFormat.kif 11877-11877
(typicalPart WheatFlour BreadOrBiscuit) Food.kif 1556-1556 WheatFlour typically麵包或餅乾part

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


(=>
    (and
        (instance ?M Meal)
        (member ?H ?M)
        (or
            (instance ?H Coffee)
            (instance ?H Tea))
        (member ?J ?M)
        (instance ?J Juice)
        (member ?B ?M)
        (instance ?B BreadOrBiscuit)
        (member ?B ?M)
        (instance ?B Butter)
        (member ?JA ?M)
        (instance ?JA Jam))
    (attribute ?M ContinentalBreakfast))
Food.kif 1731-1746
(=>
    (instance ?B BreadOrBiscuit)
    (exists (?D ?BAKE)
        (and
            (instance ?D Dough)
            (instance ?BAKE Baking)
            (resource ?BAKE ?D)
            (result ?BAKE ?B))))
Food.kif 1566-1573
(=>
    (instance ?X BreadOrBiscuit)
    (attribute ?X CookedAttribute))
Food.kif 1562-1564

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))))
Food.kif 1584-1597


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

Show without tree


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