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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AegilopsTauschii
AegilopsTauschii(Aegilops Tauschii)

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 3848-3851
(subclass AegilopsTauschii AegilopsGrass) Economy.kif 3847-3847 Aegilops Tauschii is a subclass of Aegilops grass

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


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

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 3970-3985


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