No TPTP formula. May not be expressible in strict first order. |
Government.kif 3025-3025 |
天 5 and 月 May and 年 1949 是 歐洲理事會 的成立 date |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3022-3022 |
例 歐洲理事會 and 國際組織 |
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 目標 |