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	The day 14 is a date established of west african development bank
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	West african development bank is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 4299-4299	Economic development is an organizational objective of west african development bank
No TPTP formula. May not be expressible in strict first order.	Government.kif 4300-4300	Economic integration is an organizational objective of west african development bank

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 4295-4295	"WADB" is an abbreviation of west african development bank
No TPTP formula. May not be expressible in strict first order.	Government.kif 4294-4294	West african development bank is a conventional long name of "West African Development Bank"
No TPTP formula. May not be expressible in strict first order.	Government.kif 4296-4296	West african development bank is a local long name of "Banque Ouest-Africaine de Developpement"
No TPTP formula. May not be expressible in strict first order.	Government.kif 4297-4297	West african development bank is a local short name of "BOAD"
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