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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SpeltWheatGrain
SpeltWheatGrain(spelt wheat grain)

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


(documentation SpeltWheatGrain EnglishLanguage "SpeltWheatGrain is the seed of (Triticum spelta),also known as dinkel wheat. It is a species of WheatGrass that has been cultivated sinceapproximately 5000 BC.[wikipedia]") Economy.kif 4312-4314
(subclass SpeltWheatGrain WheatGrain) Economy.kif 4311-4311 Spelt wheat grain is a subclass of wheat grain

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


(initialPart SpeltFlour SpeltWheatGrain) Food.kif 1530-1530 Every Spelt flour is initially part of a spelt wheat grain
(termFormat EnglishLanguage SpeltWheatGrain "spelt wheat grain") Economy.kif 4315-4315 Every Spelt flour is initially part of a spelt wheat grain

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


(=>
    (equal ?X
        (PlantFn SpeltWheatGrain))
    (subclass ?X SpeltWheatGrass))		 Economy.kif 4317-4320


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