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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CerealGrain
CerealGrain(cereal grain)
buckwheat, bulghur, bulgur, bulgur_wheat, cereal, feed_grain, food_grain, grain, grist, groats, kernel

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


(documentation CerealGrain EnglishLanguage "Any Seed which is produced by the cereal grasses, e.g. rice, corn, wheat, etc.") Mid-level-ontology.kif 19369-19370
(externalImage CerealGrain "http://upload.wikimedia.org/wikipedia/commons/ e/ e7/ Brown_rice.jpg") pictureList.kif 891-891
(subclass CerealGrain Seed) Mid-level-ontology.kif 19366-19366 Cereal grain is a subclass of seed

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


(industryProductType CerealGrainFarming CerealGrain) Economy.kif 5036-5036 Cereal grain is an industry product type of cereal grain farming
(subclass BarleyGrain CerealGrain) Economy.kif 3821-3821 Barley grain is a subclass of cereal grain
(subclass MaizeGrain CerealGrain) Mid-level-ontology.kif 19434-19434 Maize grain is a subclass of cereal grain
(subclass MilletGrain CerealGrain) Economy.kif 3824-3824 Millet grain is a subclass of cereal grain
(subclass OatGrain CerealGrain) Economy.kif 3820-3820 Oat grain is a subclass of cereal grain
(subclass RiceGrain CerealGrain) Mid-level-ontology.kif 19372-19372 Rice grain is a subclass of cereal grain
(subclass RyeGrain CerealGrain) Economy.kif 3822-3822 Rye grain is a subclass of cereal grain
(subclass SorghumGrain CerealGrain) Economy.kif 3823-3823 Sorghum grain is a subclass of cereal grain
(subclass WheatGrain CerealGrain) Mid-level-ontology.kif 19376-19376 Wheat grain is a subclass of cereal grain
(termFormat ChineseLanguage CerealGrain "谷物") domainEnglishFormat.kif 13873-13873
(termFormat ChineseTraditionalLanguage CerealGrain "穀物") domainEnglishFormat.kif 13872-13872
(termFormat EnglishLanguage CerealGrain "cereal grain") domainEnglishFormat.kif 13871-13871

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


(=>
    (instance ?F Flour)
    (exists (?P ?C)
        (and
            (instance ?P IntentionalProcess)
            (resource ?P ?C)
            (instance ?C CerealGrain)
            (result ?P ?F))))
Mid-level-ontology.kif 19393-19400
(=>
    (instance ?V Vodka)
    (exists (?D)
        (and
            (instance ?D Distilling)
            (instance ?CG CerealGrain)
            (resource ?D ?CG)
            (result ?D ?V))))
Food.kif 1018-1025
(=>
    (instance ?W Whiskey)
    (exists (?D)
        (and
            (instance ?D Distilling)
            (instance ?CG CerealGrain)
            (resource ?D ?CG)
            (result ?D ?W))))
Food.kif 1031-1038


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