No TPTP formula. May not be expressible in strict first order. |
Economy.kif 499-499 |
例 高收入國家 and 世界銀行人均GNI水平 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 430-430 |
例 低收入國家 and 世界銀行人均GNI水平 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 449-449 |
例 中低收入國家 and 世界銀行人均GNI水平 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 474-474 |
例 中上收入國家 and 世界銀行人均GNI水平 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 416-416 |
名 "GNI per capita" and 世界銀行人均GNI水平 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 417-417 |
名 "gross national income per capita" and 世界銀行人均GNI水平 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63479-63479 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63478-63478 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63477-63477 |
|