ArabBankForEconomicDevelopmentInAfrica - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 2774-2774	The day 18 is a date established of arab bank for economic development in africa
No TPTP formula. May not be expressible in strict first order.	Government.kif 2769-2769	Arab bank for economic development in africa is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 2775-2775	Economic development is an organizational objective of arab bank for economic development in africa

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 2771-2771	"ABEDA" is an abbreviation of arab bank for economic development in africa
No TPTP formula. May not be expressible in strict first order.	Government.kif 2770-2770	Arab bank for economic development in africa is a conventional long name of "Arab Bank for Economic Development in Africa"
No TPTP formula. May not be expressible in strict first order.	Government.kif 2772-2772	Arab bank for economic development in africa is a local long name of "Banque Arabe de Developpement Economique en Afrique"
No TPTP formula. May not be expressible in strict first order.	Government.kif 2773-2773	Arab bank for economic development in africa is a local short name of "BADEA"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8091-8091	Arab bank for economic development in africa is a local short name of "BADEA"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8090-8090	Arab bank for economic development in africa is a local short name of "BADEA"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8089-8089	Arab bank for economic development in africa is a local short name of "BADEA"