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	dateEstablished WestAfricanDevelopmentBank and o dia 14
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	WestAfricanDevelopmentBank e' uma instancia de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order.	Government.kif 4263-4263	organizationalObjective WestAfricanDevelopmentBank and EconomicDevelopment
No TPTP formula. May not be expressible in strict first order.	Government.kif 4264-4264	organizationalObjective WestAfricanDevelopmentBank and EconomicIntegration

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 4259-4259	abbreviation "WADB" and WestAfricanDevelopmentBank
No TPTP formula. May not be expressible in strict first order.	Government.kif 4258-4258	conventionalLongName "West African Development Bank" and WestAfricanDevelopmentBank
No TPTP formula. May not be expressible in strict first order.	Government.kif 4260-4260	localLongName "Banque Ouest-Africaine de Developpement" and WestAfricanDevelopmentBank
No TPTP formula. May not be expressible in strict first order.	Government.kif 4261-4261	localShortName "BOAD" and WestAfricanDevelopmentBank
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