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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - CerealGrain
CerealGrain

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
(subclass CerealGrain Seed) Economy.kif 4363-4363

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


(industryProductType CerealGrainFarming CerealGrain) Economy.kif 6554-6554
(subclass BarleyGrain CerealGrain) Economy.kif 4463-4463
(subclass MaizeGrain CerealGrain) Economy.kif 4380-4380
(subclass MilletGrain CerealGrain) Economy.kif 4479-4479
(subclass OatGrain CerealGrain) Economy.kif 4458-4458
(subclass RiceGrain CerealGrain) Economy.kif 4384-4384
(subclass RyeGrain CerealGrain) Economy.kif 4469-4469
(subclass SorghumGrain CerealGrain) Economy.kif 4474-4474
(subclass WheatGrain CerealGrain) Economy.kif 4388-4388
(termFormat ChineseLanguage CerealGrain "谷物") domainEnglishFormat.kif 13947-13947
(termFormat ChineseTraditionalLanguage CerealGrain "穀物") domainEnglishFormat.kif 13946-13946
(termFormat EnglishLanguage CerealGrain "cereal grain") domainEnglishFormat.kif 13945-13945

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