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 and 月 February and 年 1974 是阿拉伯非洲經濟發展銀行的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 2807-2807	例阿拉伯非洲經濟發展銀行 and 國際組織
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