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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CerealGrain

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 4028-4029
(externalImage CerealGrain "http://upload.wikimedia.org/wikipedia/commons/ e/ e7/ Brown_rice.jpg") pictureList.kif 890-890
(subclass CerealGrain Grain) Economy.kif 4027-4027 CerealGrain ist eine teilkategorie von Grain
(subclass CerealGrain Seed) Economy.kif 4026-4026 CerealGrain ist eine teilkategorie von Seed

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


(industryProductType CerealGrainFarming CerealGrain) Economy.kif 6156-6156 industryProductType CerealGrainFarming and CerealGrain
(subclass BarleyGrain CerealGrain) Economy.kif 4126-4126 BarleyGrain ist eine teilkategorie von CerealGrain
(subclass MaizeGrain CerealGrain) Economy.kif 4043-4043 MaizeGrain ist eine teilkategorie von CerealGrain
(subclass MilletGrain CerealGrain) Economy.kif 4142-4142 MilletGrain ist eine teilkategorie von CerealGrain
(subclass OatGrain CerealGrain) Economy.kif 4121-4121 OatGrain ist eine teilkategorie von CerealGrain
(subclass RiceGrain CerealGrain) Economy.kif 4047-4047 RiceGrain ist eine teilkategorie von CerealGrain
(subclass RyeGrain CerealGrain) Economy.kif 4132-4132 RyeGrain ist eine teilkategorie von CerealGrain
(subclass SorghumGrain CerealGrain) Economy.kif 4137-4137 SorghumGrain ist eine teilkategorie von CerealGrain
(subclass WheatGrain CerealGrain) Economy.kif 4051-4051 WheatGrain ist eine teilkategorie von CerealGrain
(termFormat ChineseLanguage CerealGrain "谷物") domainEnglishFormat.kif 13938-13938
(termFormat ChineseTraditionalLanguage CerealGrain "穀物") domainEnglishFormat.kif 13937-13937
(termFormat EnglishLanguage CerealGrain "cereal grain") domainEnglishFormat.kif 13936-13936

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


(=>
    (and
        (equal ?M
            (OrganicObjectFn ?G))
        (subclass ?M Malt)
        (subclass ?G CerealGrain))
    (initialPart ?G CerealGrass))
Economy.kif 4166-4172
(=>
    (instance ?X
        (DeadFn CerealGrain))
    (exists (?CLASS)
        (and
            (instance ?X ?CLASS)
            (equal ?CLASS
                (FoodForFn Animal)))))
Economy.kif 4035-4040

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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