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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SpeltWheatGrass
SpeltWheatGrass

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 3988-3990
(subclass SpeltWheatGrass WheatGrass) Economy.kif 3987-3987 SpeltWheatGrassWheatGrasssubclass

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


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

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


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

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


(=>
    (equal ?X
        (PlantFn SpeltWheatGrain))
    (subclass ?X SpeltWheatGrass))
Economy.kif 4107-4110


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