No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9049-9049 |
successorClass A四月 and 五月 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9053-9053 |
successorClass 八月 and 九月 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9047-9047 |
successorClass 二月 and 三月 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9063-9063 |
successorClass 星期五 and 星期六 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9046-9046 |
successorClass 一月 and 二月 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9052-9052 |
successorClass 七月 and 八月 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9051-9051 |
successorClass 六月 and 七月 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9048-9048 |
successorClass 三月 and A四月 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9050-9050 |
successorClass 五月 and 六月 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9059-9059 |
successorClass 星期一 and 星期二 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9056-9056 |
successorClass 十一月 and 十二月 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9055-9055 |
successorClass 十月 and 十一月 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9054-9054 |
successorClass 九月 and 十月 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9058-9058 |
successorClass 星期日 and 星期一 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9062-9062 |
successorClass 星期四 and 星期五 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9060-9060 |
successorClass 星期二 and 星期三 |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9061-9061 |
successorClass 星期三 and 星期四 |