| (=> (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 | EmmerWheatGrass ist eine teilkategorie von WheatGrass |
|
|