(=> (equal ?P (PlantFn WineGrape)) (subclass ?P GrapeVine)) |
Economy.kif 4732-4735 | |
(subclass WineGrape (FoodForFn Animal)) |
Food.kif 3689-3689 | WineGrape は FoodForFn 動物 の subclass では %n |
(subclass WineGrape Grape) | Food.kif 3690-3690 | WineGrape は Grape の subclass では %n |
(subclass WineGrape Fruit) | Economy.kif 4730-4730 | WineGrape は Fruit の subclass では %n |