No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9027-9027 |
successorClass A四月 and 五月 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9031-9031 |
successorClass 八月 and 九月 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9025-9025 |
successorClass 二月 and 三月 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9041-9041 |
successorClass 星期五 and 星期六 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9024-9024 |
successorClass 一月 and 二月 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9030-9030 |
successorClass 七月 and 八月 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9029-9029 |
successorClass 六月 and 七月 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9026-9026 |
successorClass 三月 and A四月 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9028-9028 |
successorClass 五月 and 六月 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9037-9037 |
successorClass 星期一 and 星期二 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9034-9034 |
successorClass 十一月 and 十二月 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9033-9033 |
successorClass 十月 and 十一月 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9032-9032 |
successorClass 九月 and 十月 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9036-9036 |
successorClass 星期日 and 星期一 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9040-9040 |
successorClass 星期四 and 星期五 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9038-9038 |
successorClass 星期二 and 星期三 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9039-9039 |
successorClass 星期三 and 星期四 |