No TPTP formula. May not be expressible in strict first order. |
Economy.kif 499-499 |
高收入国家 是 世界银行人均GNI水平 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 430-430 |
低收入国家 是 世界银行人均GNI水平 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 449-449 |
中低收入国家 是 世界银行人均GNI水平 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 474-474 |
中上收入国家 是 世界银行人均GNI水平 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 416-416 |
世界银行人均GNI水平 的名 是 "GNI per capita" |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 417-417 |
世界银行人均GNI水平 的名 是 "gross national income per capita" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63477-63477 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63476-63476 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63475-63475 |
|