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 4325-4327
(subclass SpeltWheatGrass WheatGrass) Economy.kif 4324-4324 Spelt wheat grass is a subclass of wheat grass

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


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

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


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

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


(=>
    (equal ?X
        (PlantFn SpeltWheatGrain))
    (subclass ?X SpeltWheatGrass))
Economy.kif 4444-4447


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