TreeView Knowledge Base Browser - InterAmericanDevelopmentBank

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 3385-3385	dateEstablished InterAmericanDevelopmentBank and o dia 8
No TPTP formula. May not be expressible in strict first order.	Government.kif 3380-3380	InterAmericanDevelopmentBank e' uma instancia de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3386-3386	organizationalObjective InterAmericanDevelopmentBank and EconomicDevelopment
No TPTP formula. May not be expressible in strict first order.	Government.kif 3387-3387	organizationalObjective InterAmericanDevelopmentBank and SocialDevelopment

appearance as argument number 2

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