(subclass DateFruit Fruit) | Food.kif 2188-2188 | DateFruit は Fruit の subclass では %n |
(subclass DateFruit (FoodForFn Animal)) |
Food.kif 2189-2189 | DateFruit は FoodForFn 動物 の subclass では %n |
(subclass DateFruit TropicalFruit) | Food.kif 2375-2375 | DateFruit は TropicalFruit の subclass では %n |