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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SpeltWheatGrass
SpeltWheatGrass(spelt wheat grass)

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


(documentation SpeltWheatGrass EnglishLanguage "SpeltWheatGrass, (Triticum.spelta) , also known as dinkel wheat or hulled wheat. Like common wheat, it is a hexaploid wheat, which means it has six sets of chromosomes.[wikiepedia]") Economy.kif 4198-4200
(subclass SpeltWheatGrass WheatGrass) Economy.kif 4197-4197 Spelt wheat grass is a subclass of wheat grass

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


(termFormat EnglishLanguage SpeltWheatGrass "spelt wheat grass") Economy.kif 4201-4201

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


(=>
    (and
        (instance ?C SpeltWheatGrass)
        (part ?CELL ?C)
        (instance ?CELL ?CLASS))
    (subclass ?CLASS HexaploidCell))
Economy.kif 4203-4208

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


(=>
    (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