| (subclass TropicalFruit Fruit) | Food.kif 2371-2371 | TropicalFruit は Fruit の subclass では |
| (subclass Banana TropicalFruit) | Food.kif 2373-2373 | Banana は TropicalFruit の subclass では |
| (subclass Breadfruit TropicalFruit) | Food.kif 2375-2375 | Breadfruit は TropicalFruit の subclass では |
| (subclass Coconut TropicalFruit) | Food.kif 2377-2377 | Coconut は TropicalFruit の subclass では |
| (subclass DateFruit TropicalFruit) | Food.kif 2382-2382 | DateFruit は TropicalFruit の subclass では |
| (subclass Mango TropicalFruit) | Food.kif 2384-2384 | Mango は TropicalFruit の subclass では |
| (subclass Papaw TropicalFruit) | Food.kif 2386-2386 | Papaw は TropicalFruit の subclass では |
| (subclass Papaya TropicalFruit) | Food.kif 2390-2390 | Papaya は TropicalFruit の subclass では |
| (subclass PassionFruit TropicalFruit) | Food.kif 2392-2392 | PassionFruit は TropicalFruit の subclass では |
| (subclass Pineapple TropicalFruit) | Food.kif 2394-2394 | Pineapple は TropicalFruit の subclass では |
| (subclass Plantain TropicalFruit) | Food.kif 2396-2396 | Plantain は TropicalFruit の subclass では |
|
|