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

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


(industryProductType CerealGrainFarming CerealGrain) Economy.kif 6366-6366 Cereal grain is an industry product type of cereal grain farming
(subclass BarleyGrain CerealGrain) Economy.kif 4336-4336 Barley grain is a subclass of cereal grain
(subclass MaizeGrain CerealGrain) Economy.kif 4253-4253 Maize grain is a subclass of cereal grain
(subclass MilletGrain CerealGrain) Economy.kif 4352-4352 Millet grain is a subclass of cereal grain
(subclass OatGrain CerealGrain) Economy.kif 4331-4331 Oat grain is a subclass of cereal grain
(subclass RiceGrain CerealGrain) Economy.kif 4257-4257 Rice grain is a subclass of cereal grain
(subclass RyeGrain CerealGrain) Economy.kif 4342-4342 Rye grain is a subclass of cereal grain
(subclass SorghumGrain CerealGrain) Economy.kif 4347-4347 Sorghum grain is a subclass of cereal grain
(subclass WheatGrain CerealGrain) Economy.kif 4261-4261 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 4376-4382
(=>
    (instance ?X
        (DeadFn CerealGrain))
    (exists (?CLASS)
        (and
            (instance ?X ?CLASS)
            (equal ?CLASS
                (FoodForFn Animal)))))
Economy.kif 4245-4250

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


(=>
    (instance ?F Flour)
    (exists (?P ?C)
        (and
            (instance ?P Grinding)
            (patient ?P ?C)
            (instance ?C CerealGrain)
            (result ?P ?F))))
Food.kif 1476-1483
(=>
    (instance ?V Vodka)
    (exists (?D ?CG)
        (and
            (instance ?D Distilling)
            (instance ?CG CerealGrain)
            (resource ?D ?CG)
            (result ?D ?V))))
Food.kif 3595-3602
(=>
    (instance ?W Whiskey)
    (exists (?D ?CG)
        (and
            (instance ?D Distilling)
            (instance ?CG CerealGrain)
            (resource ?D ?CG)
            (result ?D ?W))))
Food.kif 3608-3615


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