CentralAfricanStatesDevelopmentBank - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 2905-2905	The day 3 is a date established of central african states development bank
No TPTP formula. May not be expressible in strict first order.	Government.kif 2901-2901	Central african states development bank is an instance of organization of nations
No TPTP formula. May not be expressible in strict first order.	Government.kif 2906-2906	Economic development is an organizational objective of central african states development bank

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 2903-2903	"BDEAC" is an abbreviation of central african states development bank
No TPTP formula. May not be expressible in strict first order.	Government.kif 2902-2902	Central african states development bank is a conventional long name of "Central African States Development Bank"
No TPTP formula. May not be expressible in strict first order.	Government.kif 2904-2904	Central african states development bank is a local long name of "Banque de Developpement des Etats de l'Afrique Centrale"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13799-13799	Central african states development bank is a local long name of "Banque de Developpement des Etats de l'Afrique Centrale"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13798-13798	Central african states development bank is a local long name of "Banque de Developpement des Etats de l'Afrique Centrale"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13797-13797	Central african states development bank is a local long name of "Banque de Developpement des Etats de l'Afrique Centrale"