| (subclass MoveableHoliday Holiday) | Mid-level-ontology.kif 14860-14860 | |
| (subclass Advent MoveableHoliday) | Media.kif 297-297 | |
| (subclass AdventSunday MoveableHoliday) | Media.kif 312-312 | |
| (subclass Lent MoveableHoliday) | Media.kif 414-414 | |
| (subclass PalmSunday MoveableHoliday) | Media.kif 461-461 | |
| (subclass EasterSunday MoveableHoliday) | Media.kif 486-486 | |
| (subclass AscensionThursday MoveableHoliday) | Media.kif 529-529 | |
| (subclass Pentecost MoveableHoliday) | Media.kif 550-550 | |
| (subclass Hanukkah MoveableHoliday) | Media.kif 571-571 | |
| (subclass Passover MoveableHoliday) | Media.kif 600-600 | |
| (subclass USThanksgivingDay MoveableHoliday) | Media.kif 620-620 |
|
|