No TPTP formula. May not be expressible in strict first order. |
Government.kif 3176-3176 |
天 8 and 月 April and 年 1965 是 歐洲共同體 的成立 date |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3170-3171 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6484-6484 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5990-5990 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3168-3168 |
例 歐洲共同體 and 國際組織 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3177-3177 |
經濟一體化 是 歐洲共同體 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3178-3178 |
政治合作 是 歐洲共同體 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3260-3260 |
歐洲聯盟 是 歐洲共同體 的 successor 組織 |