No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3192-3192 |
天 1 and 月 December and 年 1959 是 南極條約 的 agreement 採用日期 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3193-3193 |
例 ?D and 天 23 and 月 June and 年 1961 是 南極條約 的 agreement 生效日期 |
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6097-6097 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6099-6099 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3190-3190 |
例 南極條約 and 協議 |