AegilopsGrass - Sigma Knowledge base Browser

appearance as argument number 1

(subclass AegilopsGrass Grass)	Economy.kif 4163-4163	Aegilops grass is a subclass of grass plant
(documentation AegilopsGrass EnglishLanguage "Aegilops is a genus of Eurasian and North American plants in the grass family, Poaceae. They are known generally as goatgrasses. It is a diploid (2 sets of chromosomes) goatgrass. Genus Aegilops has played an important role in the taxonomy of wheat. The familiar common wheat (Triticum aestivum) arose when cultivated emmer wheat hybridized with Aegilops tauschii about 8,000 years ago.[wikipedia]")	Economy.kif 4164-4168	Aegilops grass is a subclass of grass plant

appearance as argument number 2

(termFormat EnglishLanguage AegilopsGrass "Aegilops grass")	Economy.kif 4169-4169
(names "goat grass" AegilopsGrass)	Economy.kif 4170-4170	Aegilops grass has name "goat grass"
(subclass AegilopsTauschii AegilopsGrass)	Economy.kif 4179-4179	Aegilops Tauschii is a subclass of Aegilops grass
(subclass AegilopsSpeltoides AegilopsGrass)	Economy.kif 4186-4186	Aegilops Speltoides is a subclass of Aegilops grass

antecedent

(=>
    (and
        (instance ?A AegilopsGrass)
        (part ?C ?A)
        (instance ?C ?CLASS))
    (subclass ?CLASS DiploidCell))

consequent

(=>
    (and
        (instance ?COLL CollectionOfObjects)
        (memberType ?COLL Chromosome)
        (member ?M ?COLL)
        (part ?M EmmerWheatGrass))
    (exists (?A ?B ?X ?Y)
        (and
            (subCollection ?A ?COLL)
            (instance ?A HomologousChromosomeSet)
            (memberType ?A ?X)
            (initialPart ?X EinkornWheatGrass)
            (subCollection ?B ?COLL)
            (instance ?B HomologousChromosomeSet)
            (memberType ?B ?Y)
            (initialPart ?Y AegilopsGrass))))

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 emmer 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 einkorn 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 grass