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.") Economy.kif 4365-4366
(externalImage CerealGrain "http://upload.wikimedia.org/wikipedia/commons/ e/ e7/ Brown_rice.jpg") pictureList.kif 890-890
(subclass CerealGrain Grain) Economy.kif 4364-4364 Cereal grain is a subclass of grain
(subclass CerealGrain Seed) Economy.kif 4363-4363 Cereal grain is a subclass of seed

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


(industryProductType CerealGrainFarming CerealGrain) Economy.kif 6554-6554 Cereal grain is an industry product type of cereal grain farming
(subclass BarleyGrain CerealGrain) Economy.kif 4463-4463 Barley grain is a subclass of cereal grain
(subclass MaizeGrain CerealGrain) Economy.kif 4380-4380 Maize grain is a subclass of cereal grain
(subclass MilletGrain CerealGrain) Economy.kif 4479-4479 Millet grain is a subclass of cereal grain
(subclass OatGrain CerealGrain) Economy.kif 4458-4458 Oat grain is a subclass of cereal grain
(subclass RiceGrain CerealGrain) Economy.kif 4384-4384 Rice grain is a subclass of cereal grain
(subclass RyeGrain CerealGrain) Economy.kif 4469-4469 Rye grain is a subclass of cereal grain
(subclass SorghumGrain CerealGrain) Economy.kif 4474-4474 Sorghum grain is a subclass of cereal grain
(subclass WheatGrain CerealGrain) Economy.kif 4388-4388 Wheat grain is a subclass of cereal grain
(termFormat ChineseLanguage CerealGrain "谷物") domainEnglishFormat.kif 13953-13953 Wheat grain is a subclass of cereal grain
(termFormat ChineseTraditionalLanguage CerealGrain "穀物") domainEnglishFormat.kif 13952-13952 Wheat grain is a subclass of cereal grain
(termFormat EnglishLanguage CerealGrain "cereal grain") domainEnglishFormat.kif 13951-13951 Wheat grain is a subclass of cereal grain

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


(=>
    (and
        (equal ?M
            (OrganicObjectFn ?G))
        (subclass ?M Malt)
        (subclass ?G CerealGrain))
    (initialPart ?G CerealGrass))
Economy.kif 4503-4509
(=>
    (instance ?X
        (DeadFn CerealGrain))
    (exists (?CLASS)
        (and
            (instance ?X ?CLASS)
            (equal ?CLASS
                (FoodForFn Animal)))))
Economy.kif 4372-4377

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


(=>
    (instance ?F Flour)
    (exists (?P ?C)
        (and
            (instance ?P Grinding)
            (patient ?P ?C)
            (instance ?C CerealGrain)
            (result ?P ?F))))
Food.kif 1482-1489
(=>
    (instance ?V Vodka)
    (exists (?D ?CG)
        (and
            (instance ?D Distilling)
            (instance ?CG CerealGrain)
            (resource ?D ?CG)
            (result ?D ?V))))
Food.kif 3602-3609
(=>
    (instance ?W Whiskey)
    (exists (?D ?CG)
        (and
            (instance ?D Distilling)
            (instance ?CG CerealGrain)
            (resource ?D ?CG)
            (result ?D ?W))))
Food.kif 3615-3622


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 3.0 is open source software produced by Articulate Software and its partners