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.") Mid-level-ontology.kif 19394-19395
(externalImage CerealGrain "http://upload.wikimedia.org/wikipedia/commons/ e/ e7/ Brown_rice.jpg") pictureList.kif 891-891
(subclass CerealGrain Seed) Mid-level-ontology.kif 19391-19391

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


(industryProductType CerealGrainFarming CerealGrain) Economy.kif 5036-5036
(subclass BarleyGrain CerealGrain) Economy.kif 3821-3821
(subclass MaizeGrain CerealGrain) Mid-level-ontology.kif 19459-19459
(subclass MilletGrain CerealGrain) Economy.kif 3824-3824
(subclass OatGrain CerealGrain) Economy.kif 3820-3820
(subclass RiceGrain CerealGrain) Mid-level-ontology.kif 19397-19397
(subclass RyeGrain CerealGrain) Economy.kif 3822-3822
(subclass SorghumGrain CerealGrain) Economy.kif 3823-3823
(subclass WheatGrain CerealGrain) Mid-level-ontology.kif 19401-19401
(termFormat ChineseLanguage CerealGrain "谷物") domainEnglishFormat.kif 13873-13873
(termFormat ChineseTraditionalLanguage CerealGrain "穀物") domainEnglishFormat.kif 13872-13872
(termFormat EnglishLanguage CerealGrain "cereal grain") domainEnglishFormat.kif 13871-13871

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


(=>
    (instance ?F Flour)
    (exists (?P ?C)
        (and
            (instance ?P IntentionalProcess)
            (resource ?P ?C)
            (instance ?C CerealGrain)
            (result ?P ?F))))
Mid-level-ontology.kif 19418-19425
(=>
    (instance ?V Vodka)
    (exists (?D)
        (and
            (instance ?D Distilling)
            (instance ?CG CerealGrain)
            (resource ?D ?CG)
            (result ?D ?V))))
Food.kif 1018-1025
(=>
    (instance ?W Whiskey)
    (exists (?D)
        (and
            (instance ?D Distilling)
            (instance ?CG CerealGrain)
            (resource ?D ?CG)
            (result ?D ?W))))
Food.kif 1031-1038


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