No TPTP formula. May not be expressible in strict first order. |
Economy.kif 361-361 |
"NIE" is an abbreviation of newly industrializing economy |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 363-363 |
"NIC" is a former name for newly industrializing economy |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 362-362 |
"Newly Industrializing Countries" is a former name for newly industrializing economy |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 360-360 |
Newly industrializing economy has name "Newly Industrializing Economies" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40311-40311 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40310-40310 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40309-40309 |
|