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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CommonWheatGrass

Sigma KEE - CommonWheatGrass
CommonWheatGrass

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


(documentation CommonWheatGrass EnglishLanguage "CommonWheatGrass, (Triticum.aestivum), also known as bread wheat, is a cultivated wheat species. Itis an allohexaploid – a combination of six sets of chromosomes from different species. Of the six sets of chromosomes, four come from emmer (Triticum turgidum, itself a tetraploid) and two from Aegilops tauschii (a wild diploid goatgrass). [wikiepedia]") Economy.kif 4071-4075
(subclass CommonWheatGrass WheatGrass) Economy.kif 4070-4070 CommonWheatGrassWheatGrasssubclass

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


(termFormat EnglishLanguage CommonWheatGrass "common wheat grass") Economy.kif 4076-4076

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


(=>
    (and
        (instance ?C CommonWheatGrass)
        (part ?CELL ?C)
        (instance ?CELL ?CLASS))
    (subclass ?CLASS HexaploidCell))
Economy.kif 4078-4083
(=>
    (and
        (instance ?COLL Collection)
        (memberType ?COLL Chromosome)
        (member ?M ?COLL)
        (part ?M CommonWheatGrass))
    (exists (?A ?B ?X ?Y)
        (and
            (subCollection ?A ?COLL)
            (instance ?A HomologousChromosomeSet)
            (memberType ?A ?X)
            (initialPart ?X EmmerWheatGrass)
            (subCollection ?B ?COLL)
            (instance ?B HomologousChromosomeSet)
            (memberType ?B ?Y)
            (initialPart ?Y AegilopsTauschii))))
Economy.kif 4085-4100

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


(=>
    (equal ?X
        (PlantFn CommonWheatGrain))
    (subclass ?X CommonWheatGrass))
Economy.kif 4181-4184


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