WestAfricanDevelopmentBank - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 4262-4262	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 4257-4257	West african development bank is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 4263-4263	Economic development is an organizational objective of west african development bank
No TPTP formula. May not be expressible in strict first order.	Government.kif 4264-4264	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 4259-4259	"WADB" is an abbreviation of west african development bank
No TPTP formula. May not be expressible in strict first order.	Government.kif 4258-4258	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 4260-4260	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 4261-4261	West african development bank is a local short name of "BOAD"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62717-62717
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62716-62716
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62715-62715