No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9027-9027 |
May is the successor class of April. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9031-9031 |
September is the successor class of August. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9025-9025 |
March is the successor class of February. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9041-9041 |
Saturday is the successor class of Friday. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9024-9024 |
February is the successor class of January. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9030-9030 |
August is the successor class of July. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9029-9029 |
July is the successor class of June. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9026-9026 |
April is the successor class of March. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9028-9028 |
June is the successor class of May. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9037-9037 |
Tuesday is the successor class of Monday. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9034-9034 |
December is the successor class of November. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9033-9033 |
November is the successor class of October. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9032-9032 |
October is the successor class of September. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9036-9036 |
Monday is the successor class of Sunday. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9040-9040 |
Friday is the successor class of Thursday. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9038-9038 |
Wednesday is the successor class of Tuesday. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9039-9039 |
Thursday is the successor class of Wednesday. |