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	子類 AegilopsGrass and 草

appearance as argument number 2

(names "goat grass" AegilopsGrass)	Economy.kif 4175-4175	名 "goat grass" and AegilopsGrass
(subclass AegilopsSpeltoides AegilopsGrass)	Economy.kif 4191-4191	子類 AegilopsSpeltoides and AegilopsGrass
(subclass AegilopsTauschii AegilopsGrass)	Economy.kif 4184-4184	子類 AegilopsTauschii and AegilopsGrass
(termFormat EnglishLanguage AegilopsGrass "Aegilops grass")	Economy.kif 4174-4174	子類 AegilopsTauschii and AegilopsGrass

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