No TPTP formula. May not be expressible in strict first order. |
Government.kif 3176-3176 |
8 Day 是 欧洲共同体 的成立 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 |
欧洲共同体 是 国际组织 的 instance |
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 组织 |