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 目標 |