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 4302-4303
(subclass EinkornWheatGrain WheatGrain) Economy.kif 4301-4301 Einkorn wheat grain is a subclass of wheat grain

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


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

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


(=>
    (equal ?X
        (PlantFn EinkornWheatGrain))
    (subclass ?X EinkornWheatGrass))
Economy.kif 4306-4309


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