No TPTP formula. May not be expressible in strict first order. |
Government.kif 4268-4268 |
"WAEMU" is an abbreviation of west african economic and monetary union |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4267-4267 |
West african economic and monetary union is a conventional long name of "West African Economic and Monetary Union" |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4269-4269 |
West african economic and monetary union is a local long name of "Union Economique et Monetaire Ouest Africaine" |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4270-4270 |
West african economic and monetary union is a local short name of "WAEMU" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62723-62723 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62722-62722 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62721-62721 |
|