| EconomicDevelopmentLevel(economic development level)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 108-112 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8464-8464 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 106-106 | Economic development level is a subclass of economic attribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 350-350 | Advanced developing country is an instance of economic development level |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 371-371 | Four dragons economy is an instance of economic development level |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 755-755 | High tech industrial economy is an instance of economic development level |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 399-399 | Least developed country is an instance of economic development level |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 737-737 | Major industrial economy is an instance of economic development level |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 359-359 | Newly industrializing economy is an instance of economic development level |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 392-392 | Underdeveloped country is an instance 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 |
| 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. | domainEnglishFormat.kif 21171-21171 | World bankGNI per capita level is a subclass of economic development level |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21170-21170 | World bankGNI per capita level is a subclass of economic development level |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21169-21169 | World bankGNI per capita level is a subclass of economic development level |
|
|
|