No TPTP formula. May not be expressible in strict first order. |
Government.kif 3218-3218 |
天 7 and 月 February and 年 1992 是 歐洲聯盟 的成立 date |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 419-419 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3215-3215 |
例 歐洲聯盟 and 國際組織 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3219-3219 |
經濟一體化 是 歐洲聯盟 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3223-3223 |
軍事合作 是 歐洲聯盟 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3220-3220 |
貨幣聯盟 是 歐洲聯盟 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3221-3221 |
政治合作 是 歐洲聯盟 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3222-3222 |
社會合作 是 歐洲聯盟 的 organizational 目標 |