EinkornWheatGrass
|
|
appearance as argument number 1 |
(documentation EinkornWheatGrass EnglishLanguage "Einkorn wheat can refer either to a wild species of wheat (Triticum) or to its domesticated form. The wild form is T. boeoticum, and the domesticated form is T. monococcum.Einkorn is a diploid species (2 sets of chromosomes) of hulled wheat, with tough glumes ('husks') that tightly enclose the grains.[wikipedia]") | Economy.kif 3929-3931 | |
(subclass EinkornWheatGrass WheatGrass) | Economy.kif 3928-3928 |
appearance as argument number 2 |
(termFormat EnglishLanguage EinkornWheatGrass "einkorn wheat grass") | Economy.kif 3932-3932 |
antecedent |
(=> (and (instance ?E EinkornWheatGrass) (part ?C ?E) (instance ?E ?CLASS)) (subclass ?CLASS DiploidCell)) |
Economy.kif 3934-3939 |
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 3879-3894 | |
(=> (equal ?X (PlantFn EinkornWheatGrain)) (subclass ?X EinkornWheatGrass)) |
Economy.kif 4096-4099 |