| (=> (equal ?X (PlantFn CommonWheatGrain)) (subclass ?X CommonWheatGrass)) |
Economy.kif 4066-4069 |
|
| (=> (and (instance ?C CommonWheatGrass) (part ?CELL ?C) (instance ?CELL ?CLASS)) (subclass ?CLASS HexaploidCell)) |
Economy.kif 3963-3968 |
|
| (subclass CommonWheatGrass WheatGrass) | Economy.kif 3955-3955 | CommonWheatGrass ist eine teilkategorie von WheatGrass |
|
|