TreeView Knowledge Base Browser - MonetaryAndEconomicCommunityOfCentralAfrica

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 3650-3650	天 8 and 月 December and 年 1864 是中非貨幣和經濟共同體的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 3645-3645	例中非貨幣和經濟共同體 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 3651-3651	經濟一體化是中非貨幣和經濟共同體的 organizational 目標

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 3647-3647	中非貨幣和經濟共同體是 "CEMAC" 的簡稱
No TPTP formula. May not be expressible in strict first order.	Government.kif 3646-3646	中非貨幣和經濟共同體是 "Monetary and Economic Community of Central Africa" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 3648-3648	"Central African Customs and Economic Union" 是對於中非貨幣和經濟共同體的 former name
No TPTP formula. May not be expressible in strict first order.	Government.kif 3649-3649	"UDEAC" 是對於中非貨幣和經濟共同體的 former name
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38331-38331
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38330-38330
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 38329-38329