No TPTP formula. May not be expressible in strict first order. |
Government.kif 3025-3025 |
5 Day 是 欧洲理事会 的成立 date |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3022-3022 |
欧洲理事会 是 国际组织 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3028-3028 |
文化合作 是 欧洲理事会 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3030-3030 |
人权问题 是 欧洲理事会 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3026-3026 |
政治合作 是 欧洲理事会 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3029-3029 |
促进地区稳定 是 欧洲理事会 的 organizational 目标 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3027-3027 |
社会发展 是 欧洲理事会 的 organizational 目标 |