|
|
   AegilopsTauschii
|
|
|
| appearance as argument number 1 |
|
|
| (documentation AegilopsTauschii EnglishLanguage "Aegilops tauschii, the Tausch's goatgrass or rough-spike hard grass, is an annual grass species. Aegilops tauschii is part of the tribe Triticeae, along with wheat. This diploid (2 sets of chromosomes) goatgrass species has contributed the D genome to common wheat.[wikipedia]") | Economy.kif 3848-3851 | |
| (subclass AegilopsTauschii AegilopsGrass) | Economy.kif 3847-3847 | AegilopsTauschii 是 AegilopsGrass 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AegilopsTauschii "Aegilops Tauschii") | Economy.kif 3852-3852 |
| consequent |
|
|
| (=> (and (instance ?COLL Collection) (memberType ?COLL Chromosome) (member ?M ?COLL) (part ?M CommonWheatGrass)) (exists (?A ?B ?X ?Y) (and (subCollection ?A ?COLL) (instance ?A HomologousChromosomeSet) (memberType ?A ?X) (initialPart ?X EmmerWheatGrass) (subCollection ?B ?COLL) (instance ?B HomologousChromosomeSet) (memberType ?B ?Y) (initialPart ?Y AegilopsTauschii)))) |
Economy.kif 3970-3985 |
|
|
|
|