(=> (equal ?X (PlantFn EinkornWheatGrain)) (subclass ?X EinkornWheatGrass)) |
Economy.kif 4096-4099 | |
(=> (and (instance ?E EinkornWheatGrass) (part ?C ?E) (instance ?E ?CLASS)) (subclass ?CLASS DiploidCell)) |
Economy.kif 3934-3939 | |
(subclass EinkornWheatGrass WheatGrass) | Economy.kif 3928-3928 |