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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AegilopsTauschii
AegilopsTauschii

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


(documentation AegilopsTauschii EnglishLanguage "Aegilops tauschii, the Tausch's goatgrass or rough_spike hard grass, is an annual grass species. Aegilops tauschii is part of the tribe Triticeae, along with wheat. This diploid (2 sets of chromosomes) goatgrass species has contributed the D genome to common wheat.[wikipedia]") Economy.kif 4183-4186
(subclass AegilopsTauschii AegilopsGrass) Economy.kif 4182-4182 子類 AegilopsTauschii and AegilopsGrass

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


(termFormat EnglishLanguage AegilopsTauschii "Aegilops Tauschii") Economy.kif 4187-4187

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


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