(subclass RootStarch FoodFromPlant) | Economy.kif 4312-4312 | RootStarch は FoodFromPlant の subclass では %n |
(subclass PotatoStarch RootStarch) | Economy.kif 4314-4314 | PotatoStarch は RootStarch の subclass では %n |
(subclass TapiocaStarch RootStarch) | Economy.kif 4316-4316 | TapiocaStarch は RootStarch の subclass では %n |
(subclass ArrowrootStarch RootStarch) | Economy.kif 4318-4318 | ArrowrootStarch は RootStarch の subclass では %n |