TreeView Knowledge Base Browser - CentralAfricanStatesDevelopmentBank

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 2943-2943	dateEstablished CentralAfricanStatesDevelopmentBank and o dia 3
No TPTP formula. May not be expressible in strict first order.	Government.kif 2939-2939	CentralAfricanStatesDevelopmentBank e' uma instancia de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order.	Government.kif 2944-2944	organizationalObjective CentralAfricanStatesDevelopmentBank and EconomicDevelopment

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 2941-2941	abbreviation "BDEAC" and CentralAfricanStatesDevelopmentBank
No TPTP formula. May not be expressible in strict first order.	Government.kif 2940-2940	conventionalLongName "Central African States Development Bank" and CentralAfricanStatesDevelopmentBank
No TPTP formula. May not be expressible in strict first order.	Government.kif 2942-2942	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