No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9063-9063 |
May is the successor class of April. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9067-9067 |
September is the successor class of August. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9061-9061 |
March is the successor class of February. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9077-9077 |
Saturday is the successor class of Friday. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9060-9060 |
February is the successor class of January. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9066-9066 |
August is the successor class of July. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9065-9065 |
July is the successor class of June. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9062-9062 |
April is the successor class of March. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9064-9064 |
June is the successor class of May. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9073-9073 |
Tuesday is the successor class of Monday. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9070-9070 |
December is the successor class of November. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9069-9069 |
November is the successor class of October. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9068-9068 |
October is the successor class of September. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9072-9072 |
Monday is the successor class of Sunday. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9076-9076 |
Friday is the successor class of Thursday. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9074-9074 |
Wednesday is the successor class of Tuesday. |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9075-9075 |
Thursday is the successor class of Wednesday. |