WestAfricanDevelopmentBank - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 4298-4298	天 14 and 月 November and 年 1973 是西非開發銀行的成立 date
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 12161-12161
No TPTP formula. May not be expressible in strict first order.	Government.kif 4293-4293	例西非開發銀行 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 4299-4299	經濟發展是西非開發銀行的 organizational 目標
No TPTP formula. May not be expressible in strict first order.	Government.kif 4300-4300	經濟一體化是西非開發銀行的 organizational 目標

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 4295-4295	西非開發銀行是 "WADB" 的簡稱
No TPTP formula. May not be expressible in strict first order.	Government.kif 4294-4294	西非開發銀行是 "West African Development Bank" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 4296-4296	西非開發銀行是 "Banque Ouest-Africaine de Developpement" 的 local 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 4297-4297	西非開發銀行是 "BOAD" 的 local 簡稱
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62715-62715
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62714-62714
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62713-62713