No TPTP formula. May not be expressible in strict first order. |
Economy.kif 361-361 |
新兴工业化经济 是 "NIE" 的简称 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 363-363 |
"NIC" 是对于 新兴工业化经济 的 former name |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 362-362 |
"Newly Industrializing Countries" 是对于 新兴工业化经济 的 former name |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 360-360 |
新兴工业化经济 的名 是 "Newly Industrializing Economies" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40313-40313 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40312-40312 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40311-40311 |
|