No TPTP formula. May not be expressible in strict first order. |
Government.kif 3656-3656 |
天 6 and 月 September and 年 1961 是 不對齊的運動 的成立 date |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3660-3662 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7444-7444 |
|
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3653-3653 |
例 不對齊的運動 and 國際組織 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3658-3658 |
軍事合作 是 不對齊的運動 的 organizational 目標 |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3657-3657 |
政治合作 是 不對齊的運動 的 organizational 目標 |