(subclass DateFruit Fruit) | Food.kif 2195-2195 | Date fruit is a subclass of fruit |
(subclass DateFruit (FoodForFn Animal)) |
Food.kif 2196-2196 | Date fruit is a subclass of food for animal |
(subclass DateFruit TropicalFruit) | Food.kif 2382-2382 | Date fruit is a subclass of tropical fruit |
![]() |