| (subclass EconomicDevelopmentLevel EconomicAttribute) | Economy.kif 106-106 | EconomicDevelopmentLevel は EconomicAttribute の subclass では %n |
| (subclass UNEconomicDevelopmentLevel EconomicDevelopmentLevel) | Economy.kif 117-117 | UNEconomicDevelopmentLevel は EconomicDevelopmentLevel の subclass では %n |
| (subclass WorldBankGNIPerCapitaLevel EconomicDevelopmentLevel) | Economy.kif 415-415 | WorldBankGNIPerCapitaLevel は EconomicDevelopmentLevel の subclass では %n |
| (subclass IMFDevelopmentLevel EconomicDevelopmentLevel) | Economy.kif 515-515 | IMFDevelopmentLevel は EconomicDevelopmentLevel の subclass では %n |
|
|