| (subclass DateFruit Fruit) | Food.kif 2195-2195 | DateFruit は Fruit の subclass では |
| (subclass DateFruit (FoodForFn Animal)) |
Food.kif 2196-2196 | DateFruit は FoodForFn 動物 の subclass では |
| (subclass DateFruit TropicalFruit) | Food.kif 2382-2382 | DateFruit は TropicalFruit の subclass では |
|
|