TreeView Knowledge Base Browser - CentralAfricanStatesDevelopmentBank

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 2907-2907	dateEstablished CentralAfricanStatesDevelopmentBank and le jour 3
No TPTP formula. May not be expressible in strict first order.	Government.kif 2903-2903	CentralAfricanStatesDevelopmentBank est une instance de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order.	Government.kif 2908-2908	organizationalObjective CentralAfricanStatesDevelopmentBank and EconomicDevelopment

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 2905-2905	abbreviation "BDEAC" and CentralAfricanStatesDevelopmentBank
No TPTP formula. May not be expressible in strict first order.	Government.kif 2904-2904	conventionalLongName "Central African States Development Bank" and CentralAfricanStatesDevelopmentBank
No TPTP formula. May not be expressible in strict first order.	Government.kif 2906-2906	localLongName "Banque de Developpement des Etats de l'Afrique Centrale" and CentralAfricanStatesDevelopmentBank
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13788-13788
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13787-13787
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13786-13786