| (subclass ChristianHoliday Holiday) | Media.kif 264-264 | |
| (subclass Advent ChristianHoliday) | Media.kif 296-296 | |
| (subclass AdventSunday ChristianHoliday) | Media.kif 310-310 | |
| (subclass ChristmasDay ChristianHoliday) | Media.kif 334-334 | |
| (subclass Lent ChristianHoliday) | Media.kif 413-413 | |
| (subclass PalmSunday ChristianHoliday) | Media.kif 459-459 | |
| (subclass EasterSunday ChristianHoliday) | Media.kif 484-484 | |
| (subclass Epiphany ChristianHoliday) | Media.kif 516-516 | |
| (subclass AscensionThursday ChristianHoliday) | Media.kif 528-528 | |
| (subclass Pentecost ChristianHoliday) | Media.kif 549-549 |
|
|