No TPTP formula. May not be expressible in strict first order. |
Government.kif 4304-4304 |
"WAEMU" is an abbreviation of west african economic and monetary union |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4303-4303 |
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 4305-4305 |
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 4306-4306 |
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 62721-62721 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62720-62720 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62719-62719 |
|