No TPTP formula. May not be expressible in strict first order. |
Government.kif 3647-3647 |
中非货币和经济共同体 是 "CEMAC" 的简称 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3646-3646 |
中非货币和经济共同体 是 "Monetary and Economic Community of Central Africa" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3648-3648 |
"Central African Customs and Economic Union" 是对于 中非货币和经济共同体 的 former name |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3649-3649 |
"UDEAC" 是对于 中非货币和经济共同体 的 former name |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38331-38331 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38330-38330 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38329-38329 |
|