No TPTP formula. May not be expressible in strict first order. |
Government.kif 3382-3382 |
"IADB" is an abbreviation of inter american development bank |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3381-3381 |
Inter american development bank is a conventional long name of "Inter-American Development Bank" |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3383-3383 |
Inter american development bank is a local long name of "Banco Interamericano de Desarrollo" |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3384-3384 |
Inter american development bank is a local short name of "BID" |
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 |
|