No TPTP formula. May not be expressible in strict first order. |
Government.kif 2718-2718 |
abbreviation "AfDB" and AfricanDevelopmentBank |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2719-2719 |
localLongName "Banque Africaine de Developpement" and AfricanDevelopmentBank |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2720-2720 |
localShortName "BAD" and AfricanDevelopmentBank |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5736-5736 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5735-5735 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 5734-5734 |
|