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 3963-3966
(subclass AegilopsTauschii AegilopsGrass) Economy.kif 3962-3962 Aegilops Tauschii is a subclass of Aegilops grass

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


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

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 4085-4100


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