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 4029-4030
(externalImage CerealGrass "http://upload.wikimedia.org/wikipedia/commons/ b/ b3/ Various_grains.jpg") pictureList.kif 8411-8411
(externalImage CerealGrass "http://upload.wikimedia.org/wikipedia/commons/ d/ d0/ 040719_172_dorset_marnhull.jpg") pictureList.kif 9041-9041
(subclass CerealGrass Grass) Economy.kif 4028-4028

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


(subclass BarleyGrass CerealGrass) Economy.kif 4227-4227
(subclass MaizeGrass CerealGrass) Economy.kif 4036-4036
(subclass MilletGrass CerealGrass) Economy.kif 4232-4232
(subclass OatGrass CerealGrass) Economy.kif 4222-4222
(subclass PaddyRice CerealGrass) Economy.kif 4032-4032
(subclass RyeGrass CerealGrass) Economy.kif 4215-4215
(subclass SorghumGrass CerealGrass) Economy.kif 4041-4041
(subclass WheatGrass CerealGrass) Economy.kif 4075-4075
(termFormat ChineseLanguage CerealGrass "谷物草") domainEnglishFormat.kif 13965-13965
(termFormat ChineseTraditionalLanguage CerealGrass "穀物草") domainEnglishFormat.kif 13964-13964
(termFormat EnglishLanguage CerealGrass "cereal grass plant") domainEnglishFormat.kif 13963-13963

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


(=>
    (instance ?X
        (DeadFn CerealGrass))
    (instance ?X Grain))
Economy.kif 4246-4248

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


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


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