TreeView Knowledge Base Browser - InterAmericanDevelopmentBank

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 3349-3349	The day 8 is a date established of inter american development bank
No TPTP formula. May not be expressible in strict first order.	Government.kif 3344-3344	Inter american development bank is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 3350-3350	Economic development is an organizational objective of inter american development bank
No TPTP formula. May not be expressible in strict first order.	Government.kif 3351-3351	Social development is an organizational objective of inter american development bank

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3346-3346	"IADB" is an abbreviation of inter american development bank
No TPTP formula. May not be expressible in strict first order.	Government.kif 3345-3345	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 3347-3347	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 3348-3348	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