No TPTP formula. May not be expressible in strict first order. | Economy.kif 106-106 | Economic development level is a subclass of economic attribute |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 117-117 | UN economic development level is a subclass of economic development level |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 415-415 | World bankGNI per capita level is a subclass of economic development level |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 515-515 | IMF development level is a subclass of economic development level |