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 and 月 June and 年 1967 是東非開發銀行的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 3057-3057	例東非開發銀行 and 國際組織
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