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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CerealGrass
CerealGrass

appearance as argument number 1
-------------------------


(documentation CerealGrass EnglishLanguage "CerealGrass are Grass whose starchy Grains are used as food.") Economy.kif 3814-3815
(externalImage CerealGrass "http://upload.wikimedia.org/wikipedia/commons/ b/ b3/ Various_grains.jpg") pictureList.kif 8412-8412
(externalImage CerealGrass "http://upload.wikimedia.org/wikipedia/commons/ d/ d0/ 040719_172_dorset_marnhull.jpg") pictureList.kif 9042-9042
(subclass CerealGrass Grass) Economy.kif 3813-3813 CerealGrass est une sous-classe de Grass

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


(subclass BarleyGrass CerealGrass) Economy.kif 4012-4012 BarleyGrass est une sous-classe de CerealGrass
(subclass MaizeGrass CerealGrass) Economy.kif 3821-3821 MaizeGrass est une sous-classe de CerealGrass
(subclass MilletGrass CerealGrass) Economy.kif 4017-4017 MilletGrass est une sous-classe de CerealGrass
(subclass OatGrass CerealGrass) Economy.kif 4007-4007 OatGrass est une sous-classe de CerealGrass
(subclass PaddyRice CerealGrass) Economy.kif 3817-3817 PaddyRice est une sous-classe de CerealGrass
(subclass RyeGrass CerealGrass) Economy.kif 4000-4000 RyeGrass est une sous-classe de CerealGrass
(subclass SorghumGrass CerealGrass) Economy.kif 3826-3826 SorghumGrass est une sous-classe de CerealGrass
(subclass WheatGrass CerealGrass) Economy.kif 3860-3860 WheatGrass est une sous-classe de CerealGrass
(termFormat ChineseLanguage CerealGrass "谷物草") domainEnglishFormat.kif 13950-13950
(termFormat ChineseTraditionalLanguage CerealGrass "穀物草") domainEnglishFormat.kif 13949-13949
(termFormat EnglishLanguage CerealGrass "cereal grass plant") domainEnglishFormat.kif 13948-13948

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


(=>
    (instance ?X
        (DeadFn CerealGrass))
    (instance ?X Grain))
Economy.kif 4031-4033

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


(=>
    (and
        (equal ?M
            (OrganicObjectFn ?G))
        (subclass ?M Malt)
        (subclass ?G CerealGrain))
    (initialPart ?G CerealGrass))
Economy.kif 4166-4172


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