| (=> (equal ?P (PlantFn Apple)) (subclass ?P DeciduousTree)) |
Food.kif 2184-2186 |
|
| (subclass Apple Fruit) | Food.kif 2179-2179 | Apple ist eine teilkategorie von Fruit |
| (subclass Apple (FoodForFn Animal)) |
Food.kif 2180-2180 | Apple ist eine teilkategorie von FoodForFn Animal |
|
|