AegilopsGrass - Sigma Knowledge base Browser

appearance as argument number 1

(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 4169-4173
(subclass AegilopsGrass Grass)	Economy.kif 4168-4168	Aegilops grass is a subclass of grass plant

appearance as argument number 2

(names "goat grass" AegilopsGrass)	Economy.kif 4175-4175	Aegilops grass has &ames$"name" "goat grass"
(subclass AegilopsSpeltoides AegilopsGrass)	Economy.kif 4191-4191	Aegilops Speltoides is a subclass of Aegilops grass
(subclass AegilopsTauschii AegilopsGrass)	Economy.kif 4184-4184	Aegilops Tauschii is a subclass of Aegilops grass
(termFormat EnglishLanguage AegilopsGrass "Aegilops grass")	Economy.kif 4174-4174	Aegilops Tauschii is a subclass of Aegilops grass

antecedent

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

Economy.kif 4177-4182

consequent

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

Economy.kif 4216-4231