ArabBankForEconomicDevelopmentInAfrica - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 2773-2773	The day 18 of month the month February 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 2768-2768	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 2774-2774	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 2770-2770	"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 2769-2769	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 2771-2771	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 2772-2772	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"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8088-8088	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 8087-8087	Arab bank for economic development in africa is a local short name of "BADEA"