TreeView Knowledge Base Browser - WestAfricanDevelopmentBank

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 4298-4298	dateEstablished WestAfricanDevelopmentBank and le jour 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 4293-4293	WestAfricanDevelopmentBank est une instance de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order.	Government.kif 4299-4299	organizationalObjective WestAfricanDevelopmentBank and EconomicDevelopment
No TPTP formula. May not be expressible in strict first order.	Government.kif 4300-4300	organizationalObjective WestAfricanDevelopmentBank and EconomicIntegration

appearance as argument number 2

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