| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 350-350 |
例 發達的先進國家 and 經濟發展水平 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 371-371 |
例 四龍經濟 and 經濟發展水平 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 755-755 |
例 高科技工業經濟 and 經濟發展水平 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 399-399 |
例 最不發達國家 and 經濟發展水平 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 737-737 |
例 主要工業經濟 and 經濟發展水平 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 359-359 |
例 新興工業化經濟 and 經濟發展水平 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 392-392 |
例 未發達國家 and 經濟發展水平 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 515-515 |
子類 IMF發展水平 and 經濟發展水平 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 117-117 |
子類 聯合國經濟發展水平 and 經濟發展水平 |
| No TPTP formula. May not be expressible in strict first order. |
Economy.kif 415-415 |
子類 世界銀行人均GNI水平 and 經濟發展水平 |
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21156-21156 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21155-21155 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21154-21154 |
|
