No TPTP formula. May not be expressible in strict first order. |
Government.kif 3132-3132 |
"CEPGL" is an abbreviation of economic community of the great lakes countries |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3131-3131 |
Economic community of the great lakes countries is a conventional long name of "Economic Community of the Great Lakes Countries" |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3133-3133 |
Economic community of the great lakes countries is a local long name of "Communaute Economique des Pays des Grands Lacs" |
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 |
|