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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - BreadOrBiscuit
BreadOrBiscuit(bread or biscuit)Boston_brown_bread, Brussels_biscuit, English_muffin, French_bread, French_fritter, French_loaf, Host, Irish_soda_bread, Italian_bread, Jewish_rye, Jewish_rye_bread, Melba_toast, Parker_House_roll, Scotch_pancake, Shawnee_cake, Swedish_rye, Swedish_rye_bread, Vienna_roll, Yorkshire_pudding, anadama_bread, apple_fritter, ash_cake, ashcake, baguet, baguette, baking-powder_biscuit, banana_bread, bannock, bap, barmbrack, batter_bread, bear_claw, bear_paw, beignet, bialy, bialystoker, biscuit, black_bread, bran_muffin, brandysnap, bread, bread-stick, breadstick, breadstuff, brioche, brown_bread, bun, buttermilk_biscuit, caramel_bun, caraway_seed_bread...

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 20938-20941
(subclass BreadOrBiscuit PreparedFood) Mid-level-ontology.kif 20937-20937 Bread or biscuit is a subclass of prepared food

appearance as argument number 2

(subclass Bagel BreadOrBiscuit) Food.kif 448-448 Bagel is a subclass of bread or biscuit
(subclass Pancake BreadOrBiscuit) Food.kif 679-679 Pancake is a subclass of bread or biscuit
(termFormat ChineseLanguage BreadOrBiscuit "面包或饼干") domainEnglishFormat.kif 11882-11882
(termFormat ChineseTraditionalLanguage BreadOrBiscuit "麵包或餅乾") domainEnglishFormat.kif 11881-11881
(termFormat EnglishLanguage BreadOrBiscuit "bread or biscuit") domainEnglishFormat.kif 11880-11880


    (instance ?B BreadOrBiscuit)
    (exists (?D ?BAKE)
            (instance ?D Dough)
            (instance ?BAKE Baking)
            (resource ?BAKE ?D)
            (result ?BAKE ?B))))
Mid-level-ontology.kif 20943-20950


    (instance ?S Sandwich)
    (exists (?B1 ?B2 ?F)
            (instance ?B1 BreadOrBiscuit)
            (instance ?B2 BreadOrBiscuit)
            (instance ?F
                (FoodForFn Human))
            (between ?B1 ?F ?B2)
                (equal ?B1 ?B2))
                (equal ?B1 ?F))
                (equal ?B2 ?F))
            (part ?B1 ?S)
            (part ?B2 ?S)
            (part ?F ?S))))
Mid-level-ontology.kif 20956-20969

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