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 Day 是西非开发银行的成立 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	西非开发银行是国际组织的 instance
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