(=> (equal ?P (PlantFn Apple)) (subclass ?P DeciduousTree)) |
Food.kif 2184-2186 |
|
(subclass Apple Fruit) | Food.kif 2179-2179 | Apple è una sottoclasse di Fruit |
(subclass Apple (FoodForFn Animal)) |
Food.kif 2180-2180 | Apple è una sottoclasse di FoodForFn Animale |