AegilopsSpeltoides - Sigma Knowledge base Browser

appearance as argument number 1

(subclass AegilopsSpeltoides AegilopsGrass)	Economy.kif 4186-4186	Aegilops Speltoides is a subclass of Aegilops grass
(documentation AegilopsSpeltoides EnglishLanguage "Aegilops speltoides is an edible goatgrass in the family Poaceae native to Southeastern Europe and Western Asia, which is often used for animal feed, and it has grown in cultivated beds. Aegilops speltoides is a diploid (2 sets of chromosomes). [wikipedia]")	Economy.kif 4187-4189	Aegilops Speltoides is a subclass of Aegilops grass

appearance as argument number 2

consequent

(=>
    (and
        (instance ?COLL CollectionOfObjects)
        (memberType ?COLL Chromosome)
        (member ?M ?COLL)
        (part ?M DurumWheatGrass))
    (exists (?A ?B ?X ?Y)
        (and
            (subCollection ?A ?COLL)
            (instance ?A HomologousChromosomeSet)
            (memberType ?A ?X)
            (initialPart ?X TriticumUrartu)
            (subCollection ?B ?COLL)
            (instance ?B HomologousChromosomeSet)
            (memberType ?B ?Y)
            (initialPart ?Y AegilopsSpeltoides))))

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 durum 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 Triticum urartu (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 Speltoides