| (subclass Month TimeInterval) | Merge.kif 9178-9178 | Month is a subclass of time interval |
| (subclass January Month) | Merge.kif 9183-9183 | January is a subclass of month |
| (subclass February Month) | Merge.kif 9197-9197 | February is a subclass of month |
| (subclass March Month) | Merge.kif 9221-9221 | March is a subclass of month |
| (subclass April Month) | Merge.kif 9235-9235 | April is a subclass of month |
| (subclass May Month) | Merge.kif 9249-9249 | May is a subclass of month |
| (subclass June Month) | Merge.kif 9263-9263 | June is a subclass of month |
| (subclass July Month) | Merge.kif 9277-9277 | July is a subclass of month |
| (subclass August Month) | Merge.kif 9291-9291 | August is a subclass of month |
| (subclass September Month) | Merge.kif 9305-9305 | September is a subclass of month |
| (subclass October Month) | Merge.kif 9320-9320 | October is a subclass of month |
| (subclass November Month) | Merge.kif 9334-9334 | November is a subclass of month |
| (subclass December Month) | Merge.kif 9348-9348 | December is a subclass of month |
|
|