AegilopsTauschii - Sigma Knowledge base Browser

appearance as argument number 1

(subclass AegilopsTauschii AegilopsGrass)	Economy.kif 4179-4179	Aegilops Tauschii is a subclass of Aegilops grass
(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 4180-4183	Aegilops Tauschii is a subclass of Aegilops grass

appearance as argument number 2

consequent

(=>
    (and
        (instance ?COLL CollectionOfObjects)
        (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))))

If X is an instance of collection, chromosome is a member type of X, Y is a member of X, and Y is a part of common wheat grass, then All of the following hold: (1) there exist Z, W,, , V (2) U such that Z is a proper sub-collection of X (3) Z is an instance of homologous chromosome set (4) V is a member type of Z (5) every V is initially part of a emmer wheat grass (6) W is a proper sub-collection of X (7) W is an instance of homologous chromosome set (8) U is a member type of W (9) every U is initially part of a Aegilops Tauschii