TreeView Knowledge Base Browser - AfricanDevelopmentBank

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 2757-2757	4 Day 是非洲开发银行的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2753-2753	非洲开发银行是国际组织的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 2758-2758	经济发展是非洲开发银行的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 2759-2759	社会发展是非洲开发银行的 organizational 目标

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 2754-2754	非洲开发银行是 "AfDB" 的简称
No TPTP formula. May not be expressible in strict first order.	Government.kif 2755-2755	非洲开发银行是 "Banque Africaine de Developpement" 的 local 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 2756-2756	非洲开发银行是 "BAD" 的 local 简称
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5736-5736
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5735-5735
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5734-5734