(=> (and (instance ?E EmmerWheatGrass) (part ?C ?E) (instance ?C ?CLASS)) (subclass ?CLASS TetraploidCell)) |
Economy.kif 3872-3877 | |
(=> (equal ?X (PlantFn EmmerWheatGrain)) (subclass ?X EmmerWheatGrass)) |
Economy.kif 4086-4089 | |
(subclass EmmerWheatGrass WheatGrass) | Economy.kif 3865-3865 |