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 Day 是欧洲投资银行的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 3186-3186	欧洲投资银行是国际组织的 instance
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