TreeView Knowledge Base Browser - EastAfricanDevelopmentBank

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 3060-3060	6 Day 是东非开发银行的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 3057-3057	东非开发银行是国际组织的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 3061-3061	经济发展是东非开发银行的 organizational 目标

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3059-3059	东非开发银行是 "EADB" 的简称
No TPTP formula. May not be expressible in strict first order.	Government.kif 3058-3058	东非开发银行是 "East African Development Bank" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20826-20826
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20825-20825
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20824-20824