No TPTP formula. May not be expressible in strict first order. |
Government.kif 3382-3382 |
abbreviation "IADB" and InterAmericanDevelopmentBank |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3381-3381 |
conventionalLongName "Inter-American Development Bank" and InterAmericanDevelopmentBank |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3383-3383 |
localLongName "Banco Interamericano de Desarrollo" and InterAmericanDevelopmentBank |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3384-3384 |
localShortName "BID" and InterAmericanDevelopmentBank |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30391-30391 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30390-30390 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 30389-30389 |
|