TreeView Knowledge Base Browser - WestAfricanEconomicAndMonetaryUnion

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 4271-4271	天 1 and 月 August and 年 1994 是西非經濟和貨幣聯盟的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 4266-4266	例西非經濟和貨幣聯盟 and 國際組織
No TPTP formula. May not be expressible in strict first order.	Government.kif 4272-4272	經濟一體化是西非經濟和貨幣聯盟的 organizational 目標

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 4268-4268	西非經濟和貨幣聯盟是 "WAEMU" 的簡稱
No TPTP formula. May not be expressible in strict first order.	Government.kif 4267-4267	西非經濟和貨幣聯盟是 "West African Economic and Monetary Union" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 4269-4269	西非經濟和貨幣聯盟是 "Union Economique et Monetaire Ouest Africaine" 的 local 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 4270-4270	西非經濟和貨幣聯盟是 "WAEMU" 的 local 簡稱
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62723-62723
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62722-62722
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62721-62721