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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EinkornWheatGrain
EinkornWheatGrain(Einkorn wheat grain)

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


(documentation EinkornWheatGrain EnglishLanguage "EinkornWheatGrain is the seed of Wild Einkorn (T.boeoticum) or the domesticated form (T. monococcum). [wikipedia]") Economy.kif 4092-4093
(subclass EinkornWheatGrain WheatGrain) Economy.kif 4091-4091 Einkorn wheat grain is a subclass of wheat grain

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


(termFormat EnglishLanguage EinkornWheatGrain "Einkorn wheat grain") Economy.kif 4094-4094

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


(=>
    (equal ?X
        (PlantFn EinkornWheatGrain))
    (subclass ?X EinkornWheatGrass))
Economy.kif 4096-4099


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