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	8 Day 是美洲开发银行的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 3380-3380	美洲开发银行是国际组织的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3386-3386	经济发展是美洲开发银行的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 3387-3387	社会发展是美洲开发银行的 organizational 目标

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3382-3382	美洲开发银行是 "IADB" 的简称
No TPTP formula. May not be expressible in strict first order.	Government.kif 3381-3381	美洲开发银行是 "Inter-American Development Bank" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 3383-3383	美洲开发银行是 "Banco Interamericano de Desarrollo" 的 local 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 3384-3384	美洲开发银行是 "BID" 的 local 简称
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