(subclass RootStarch FoodFromPlant) | Economy.kif 4312-4312 | RootStarch est une sous-classe de FoodFromPlant |
(subclass PotatoStarch RootStarch) | Economy.kif 4314-4314 | PotatoStarch est une sous-classe de RootStarch |
(subclass TapiocaStarch RootStarch) | Economy.kif 4316-4316 | TapiocaStarch est une sous-classe de RootStarch |
(subclass ArrowrootStarch RootStarch) | Economy.kif 4318-4318 | ArrowrootStarch est une sous-classe de RootStarch |