AegilopsSpeltoides |
appearance as argument number 1 |
(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 3855-3857 | |
(subclass AegilopsSpeltoides AegilopsGrass) | Economy.kif 3854-3854 | AegilopsSpeltoides 是 AegilopsGrass 的 subclass |
appearance as argument number 2 |
(termFormat EnglishLanguage AegilopsSpeltoides "Aegilops Speltoides") | Economy.kif 3858-3858 |
consequent |
(=> (and (instance ?COLL Collection) (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)))) |
Economy.kif 3911-3926 |
|