TreeView Knowledge Base Browser - WestAfricanEconomicAndMonetaryUnion

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 4307-4307	1 Day 是西非经济和货币联盟的成立 date
No TPTP formula. May not be expressible in strict first order.	Government.kif 4302-4302	西非经济和货币联盟是国际组织的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 4308-4308	经济一体化是西非经济和货币联盟的 organizational 目标

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 4304-4304	西非经济和货币联盟是 "WAEMU" 的简称
No TPTP formula. May not be expressible in strict first order.	Government.kif 4303-4303	西非经济和货币联盟是 "West African Economic and Monetary Union" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 4305-4305	西非经济和货币联盟是 "Union Economique et Monetaire Ouest Africaine" 的 local 全名
No TPTP formula. May not be expressible in strict first order.	Government.kif 4306-4306	西非经济和货币联盟是 "WAEMU" 的 local 简称
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62721-62721
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62720-62720
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62719-62719