| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9043-9043 | 子類 Month and TimeInterval |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9048-9048 | 子類 January and Month |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9062-9062 | 子類 February and Month |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9086-9086 | 子類 March and Month |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9100-9100 | 子類 April and Month |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9114-9114 | 子類 May and Month |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9128-9128 | 子類 June and Month |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9142-9142 | 子類 July and Month |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9156-9156 | 子類 August and Month |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9170-9170 | 子類 September and Month |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9185-9185 | 子類 October and Month |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9199-9199 | 子類 November and Month |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9213-9213 | 子類 December and Month |
|
|