(subclass Epiphany ChristianHoliday) | Media.kif 516-516 | Epiphany is a subclass of Christian holiday |
(subclass Epiphany (DayFn 6 January)) |
Media.kif 517-517 | Epiphany is a subclass of the day 6 |
(subclass Epiphany FixedHoliday) | Media.kif 518-518 | Epiphany is a subclass of fixed holiday |