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 and 月 February and 年 1989 是阿拉伯馬格里布聯盟的成立 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	例阿拉伯馬格里布聯盟 and 國際組織
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