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 4429-4430
(subclass EinkornWheatGrain WheatGrain) Economy.kif 4428-4428 Einkorn wheat grain is a subclass of wheat grain

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


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

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


(=>
    (equal ?X
        (PlantFn EinkornWheatGrain))
    (subclass ?X EinkornWheatGrass))
Economy.kif 4433-4436


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