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

Formal Language: 



KB Term:  Term intersection
English Word: 

  subrelation

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 では %n

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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