| (subclass Month TimeInterval) | Merge.kif 9043-9043 | |
| (subclass January Month) | Merge.kif 9048-9048 | |
| (subclass February Month) | Merge.kif 9062-9062 | |
| (subclass March Month) | Merge.kif 9086-9086 | |
| (subclass April Month) | Merge.kif 9100-9100 | |
| (subclass May Month) | Merge.kif 9114-9114 | |
| (subclass June Month) | Merge.kif 9128-9128 | |
| (subclass July Month) | Merge.kif 9142-9142 | |
| (subclass August Month) | Merge.kif 9156-9156 | |
| (subclass September Month) | Merge.kif 9170-9170 | |
| (subclass October Month) | Merge.kif 9185-9185 | |
| (subclass November Month) | Merge.kif 9199-9199 | |
| (subclass December Month) | Merge.kif 9213-9213 |
|
|