| (subclass EdibleTuber RootVegetable) | Economy.kif 4321-4321 | EdibleTuber は RootVegetable の subclass では %n |
| (subclass PotatoTuber EdibleTuber) | Economy.kif 4322-4322 | PotatoTuber は EdibleTuber の subclass では %n |
| (subclass SweetPotatoTuber EdibleTuber) | Economy.kif 4323-4323 | SweetPotatoTuber は EdibleTuber の subclass では %n |
| (subclass TaroTuber EdibleTuber) | Economy.kif 4324-4324 | TaroTuber は EdibleTuber の subclass では %n |
| (subclass YamTuber EdibleTuber) | Economy.kif 4325-4325 | YamTuber は EdibleTuber の subclass では %n |
| (subclass Ginger EdibleTuber) | Economy.kif 4326-4326 | Ginger は EdibleTuber の subclass では %n |
| (subclass Cassava EdibleTuber) | Economy.kif 4328-4328 | Cassava は EdibleTuber の subclass では %n |
| (subclass Groundnut EdibleTuber) | Economy.kif 4487-4487 | Groundnut は EdibleTuber の subclass では %n |
|
|