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, cereal_grain, 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 19356-19357
(externalImage CerealGrain "http://upload.wikimedia.org/wikipedia/commons/ e/ e7/ Brown_rice.jpg") pictureList.kif 891-891 "http://upload.wikimedia.org/wikipedia/commons/e/e7/ Brown_rice.jpg" is a URL depicting cereal grain
(subclass CerealGrain Seed) Mid-level-ontology.kif 19353-19353 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 19421-19421 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 19359-19359 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 19363-19363 Wheat grain is a subclass of cereal grain
(termFormat EnglishLanguage CerealGrain "cereal grain") domainEnglishFormat.kif 2746-2746 "cereal grain" is the printable form of cereal grain in english language

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


(=>
    (instance ?F Flour)
    (exists (?P ?C)
        (and
            (instance ?P IntentionalProcess)
            (resource ?P ?C)
            (instance ?C CerealGrain)
            (result ?P ?F))))
Mid-level-ontology.kif 19380-19387
(=>
    (instance ?V Vodka)
    (exists (?D)
        (and
            (instance ?D Distilling)
            (instance ?CG CerealGrain)
            (resource ?D ?CG)
            (result ?D ?V))))
Food.kif 1063-1070
(=>
    (instance ?W Whiskey)
    (exists (?D)
        (and
            (instance ?D Distilling)
            (instance ?CG CerealGrain)
            (resource ?D ?CG)
            (result ?D ?W))))
Food.kif 1076-1083


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