No TPTP formula. May not be expressible in strict first order. |
Government.kif 3346-3346 |
abbreviation "IADB" and InterAmericanDevelopmentBank |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3345-3345 |
conventionalLongName "Inter-American Development Bank" and InterAmericanDevelopmentBank |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3347-3347 |
localLongName "Banco Interamericano de Desarrollo" and InterAmericanDevelopmentBank |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3348-3348 |
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 |
|