No TPTP formula. May not be expressible in strict first order. |
Government.kif 3035-3035 |
天 6 and 月 March and 年 1992 是 波羅的海國家理事會 的成立 date |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3032-3032 |
例 波羅的海國家理事會 and 國際組織 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3040-3040 |
文化合作 是 波羅的海國家理事會 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3036-3036 |
經濟發展 是 波羅的海國家理事會 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3038-3038 |
能源和環境 是 波羅的海國家理事會 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3037-3037 |
人道主義援助 是 波羅的海國家理事會 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3039-3039 |
政治發展 是 波羅的海國家理事會 的 organizational 目標 |