TreeView Knowledge Base Browser - ArabBankForEconomicDevelopmentInAfrica

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 2812-2812	18 Day 是阿拉伯非洲经济发展银行的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2807-2807	阿拉伯非洲经济发展银行是国际组织的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 2813-2813	经济发展是阿拉伯非洲经济发展银行的 organizational 目标

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 2809-2809	阿拉伯非洲经济发展银行是 "ABEDA" 的简称
No TPTP formula. May not be expressible in strict first order.	Government.kif 2808-2808	阿拉伯非洲经济发展银行是 "Arab Bank for Economic Development in Africa" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 2810-2810	阿拉伯非洲经济发展银行是 "Banque Arabe de Developpement Economique en Afrique" 的 local 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 2811-2811	阿拉伯非洲经济发展银行是 "BADEA" 的 local 简称
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8088-8088
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8087-8087
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8086-8086