No TPTP formula. May not be expressible in strict first order. |
Government.kif 2806-2806 |
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 2803-2803 |
阿拉伯马格里布联盟 是 国际组织 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2808-2808 |
文化合作 是 阿拉伯马格里布联盟 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2807-2807 |
经济一体化 是 阿拉伯马格里布联盟 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2810-2810 |
军事合作 是 阿拉伯马格里布联盟 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2809-2809 |
政治合作 是 阿拉伯马格里布联盟 的 organizational 目标 |