(=> (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 |