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 4143-4144
(externalImage CerealGrain "http://upload.wikimedia.org/wikipedia/commons/ e/ e7/ Brown_rice.jpg") pictureList.kif 890-890
(subclass CerealGrain Grain) Economy.kif 4142-4142
(subclass CerealGrain Seed) Economy.kif 4141-4141

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


(industryProductType CerealGrainFarming CerealGrain) Economy.kif 6271-6271
(subclass BarleyGrain CerealGrain) Economy.kif 4241-4241
(subclass MaizeGrain CerealGrain) Economy.kif 4158-4158
(subclass MilletGrain CerealGrain) Economy.kif 4257-4257
(subclass OatGrain CerealGrain) Economy.kif 4236-4236
(subclass RiceGrain CerealGrain) Economy.kif 4162-4162
(subclass RyeGrain CerealGrain) Economy.kif 4247-4247
(subclass SorghumGrain CerealGrain) Economy.kif 4252-4252
(subclass WheatGrain CerealGrain) Economy.kif 4166-4166
(termFormat ChineseLanguage CerealGrain "谷物") domainEnglishFormat.kif 13949-13949
(termFormat ChineseTraditionalLanguage CerealGrain "穀物") domainEnglishFormat.kif 13948-13948
(termFormat EnglishLanguage CerealGrain "cereal grain") domainEnglishFormat.kif 13947-13947

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


(=>
    (and
        (equal ?M
            (OrganicObjectFn ?G))
        (subclass ?M Malt)
        (subclass ?G CerealGrain))
    (initialPart ?G CerealGrass))
Economy.kif 4281-4287
(=>
    (instance ?X
        (DeadFn CerealGrain))
    (exists (?CLASS)
        (and
            (instance ?X ?CLASS)
            (equal ?CLASS
                (FoodForFn Animal)))))
Economy.kif 4150-4155

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