(=> (equal ?P (PlantFn Apple)) (subclass ?P DeciduousTree)) |
Food.kif 2184-2186 | |
(subclass Apple Fruit) | Food.kif 2179-2179 | Apple est une sous-classe de Fruit |
(subclass Apple (FoodForFn Animal)) |
Food.kif 2180-2180 | Apple est une sous-classe de FoodForFn animal |