No TPTP formula. May not be expressible in strict first order. |
Government.kif 4295-4295 |
"WADB" is an abbreviation of west african development bank |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4294-4294 |
West african development bank is a conventional long name of "West African Development Bank" |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4296-4296 |
West african development bank is a local long name of "Banque Ouest-Africaine de Developpement" |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 4297-4297 |
West african development bank is a local short name of "BOAD" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62715-62715 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62714-62714 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62713-62713 |
|