TreeView Knowledge Base Browser - EuropeanInvestmentBank

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 3153-3153	天 25 and 月 March and 年 1957 是歐洲投資銀行的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 3150-3150	例歐洲投資銀行 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 3154-3154	經濟發展是歐洲投資銀行的 organizational 目標

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3152-3152	歐洲投資銀行是 "EIB" 的簡稱
No TPTP formula. May not be expressible in strict first order.	Government.kif 3151-3151	歐洲投資銀行是 "European Investment Bank" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22564-22564
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22563-22563
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22562-22562