(subclass DateFruit Fruit) | Food.kif 2188-2188 | DateFruit e' uma sub-classe de Fruit |
(subclass DateFruit (FoodForFn Animal)) |
Food.kif 2189-2189 | DateFruit e' uma sub-classe de FoodForFn Animal |
(subclass DateFruit TropicalFruit) | Food.kif 2375-2375 | DateFruit e' uma sub-classe de TropicalFruit |