No TPTP formula. May not be expressible in strict first order. |
Government.kif 3132-3132 |
大湖国家的经济共同体 是 "CEPGL" 的简称 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3131-3131 |
大湖国家的经济共同体 是 "Economic Community of the Great Lakes Countries" 的 conventional 全名 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3133-3133 |
大湖国家的经济共同体 是 "Communaute Economique des Pays des Grands Lacs" 的 local 全名 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21126-21126 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21125-21125 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21124-21124 |
|