No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9140-9140 |
May is the successor class of April. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9144-9144 |
September is the successor class of August. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9138-9138 |
March is the successor class of February. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9154-9154 |
Saturday is the successor class of Friday. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9137-9137 |
February is the successor class of January. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9143-9143 |
August is the successor class of July. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9142-9142 |
July is the successor class of June. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9139-9139 |
April is the successor class of March. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9141-9141 |
June is the successor class of May. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9150-9150 |
Tuesday is the successor class of Monday. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9147-9147 |
December is the successor class of November. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9146-9146 |
November is the successor class of October. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9145-9145 |
October is the successor class of September. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9149-9149 |
Monday is the successor class of Sunday. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9153-9153 |
Friday is the successor class of Thursday. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9151-9151 |
Wednesday is the successor class of Tuesday. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9152-9152 |
Thursday is the successor class of Wednesday. |