No TPTP formula. May not be expressible in strict first order. |
Government.kif 3132-3132 |
abbreviation "CEPGL" and EconomicCommunityOfTheGreatLakesCountries |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3131-3131 |
conventionalLongName "Economic Community of the Great Lakes Countries" and EconomicCommunityOfTheGreatLakesCountries |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3133-3133 |
localLongName "Communaute Economique des Pays des Grands Lacs" and EconomicCommunityOfTheGreatLakesCountries |
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 |
|