No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9049-9049 |
May is the successor class of April. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9053-9053 |
September is the successor class of August. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9047-9047 |
March is the successor class of February. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9063-9063 |
Saturday is the successor class of Friday. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9046-9046 |
February is the successor class of January. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9052-9052 |
August is the successor class of July. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9051-9051 |
July is the successor class of June. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9048-9048 |
April is the successor class of March. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9050-9050 |
June is the successor class of May. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9059-9059 |
Tuesday is the successor class of Monday. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9056-9056 |
December is the successor class of November. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9055-9055 |
November is the successor class of October. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9054-9054 |
October is the successor class of September. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9058-9058 |
Monday is the successor class of Sunday. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9062-9062 |
Friday is the successor class of Thursday. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9060-9060 |
Wednesday is the successor class of Tuesday. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9061-9061 |
Thursday is the successor class of Wednesday. |