| (=> (and (instance ?E DurumWheatGrass) (part ?C ?E) (instance ?C ?CLASS)) (subclass ?CLASS TetraploidCell)) |
Economy.kif 3904-3909 |
|
| (=> (equal ?X (PlantFn DurumWheatGrain)) (subclass ?X DurumWheatGrass)) |
Economy.kif 4076-4079 |
|
| (subclass DurumWheatGrass WheatGrass) | Economy.kif 3896-3896 | DurumWheatGrass ist eine teilkategorie von WheatGrass |
|
|