TreeView Knowledge Base Browser - EuropeanInvestmentBank

appearance as argument number 1

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

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3188-3188	歐洲投資銀行是 "EIB" 的簡稱
No TPTP formula. May not be expressible in strict first order.	Government.kif 3187-3187	歐洲投資銀行是 "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