TreeView Knowledge Base Browser - EuropeanBankForReconstructionAndDevelopment

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 3165-3165	天 15 and 月 April and 年 1991 是歐洲重建和發展銀行的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 3162-3162	例歐洲重建和發展銀行 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 3166-3166	經濟發展是歐洲重建和發展銀行的 organizational 目標

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3164-3164	歐洲重建和發展銀行是 "EBRD" 的簡稱
No TPTP formula. May not be expressible in strict first order.	Government.kif 3163-3163	歐洲重建和發展銀行是 "European Bank for Reconstruction and Development" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22540-22540
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22539-22539
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22538-22538