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	3 Day 是中非国家开发银行的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2939-2939	中非国家开发银行是国际组织的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 2944-2944	经济发展是中非国家开发银行的 organizational 目标

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 2941-2941	中非国家开发银行是 "BDEAC" 的简称
No TPTP formula. May not be expressible in strict first order.	Government.kif 2940-2940	中非国家开发银行是 "Central African States Development Bank" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 2942-2942	中非国家开发银行是 "Banque de Developpement des Etats de l'Afrique Centrale" 的 local 全名
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