ArabMaghrebUnion - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 2842-2842	17 Day 是阿拉伯马格里布联盟的成立 date
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5862-5862
No TPTP formula. May not be expressible in strict first order.	Government.kif 2839-2839	阿拉伯马格里布联盟是国际组织的 instance
No TPTP formula. May not be expressible in strict first order.	Government.kif 2844-2844	文化合作是阿拉伯马格里布联盟的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 2843-2843	经济一体化是阿拉伯马格里布联盟的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 2846-2846	军事合作是阿拉伯马格里布联盟的 organizational 目标
No TPTP formula. May not be expressible in strict first order.	Government.kif 2845-2845	政治合作是阿拉伯马格里布联盟的 organizational 目标

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Government.kif 2841-2841	阿拉伯马格里布联盟是 "AMU" 的简称
No TPTP formula. May not be expressible in strict first order.	Government.kif 2840-2840	阿拉伯马格里布联盟是 "Arab Maghreb Union" 的 conventional 全名
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8142-8142
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8141-8141
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 8140-8140