(=> (equal ?P (PlantFn Apple)) (subclass ?P DeciduousTree)) |
Food.kif 2184-2186 | |
(subclass Apple Fruit) | Food.kif 2179-2179 | Apple は Fruit の subclass では %n |
(subclass Apple (FoodForFn Animal)) |
Food.kif 2180-2180 | Apple は FoodForFn 動物 の subclass では %n |