(subclass Epiphany ChristianHoliday) | Media.kif 516-516 | Epiphany è una sottoclasse di ChristianHoliday |
(subclass Epiphany (DayFn 6 January)) |
Media.kif 517-517 | Epiphany è una sottoclasse di il giorno 6 |
(subclass Epiphany FixedHoliday) | Media.kif 518-518 | Epiphany è una sottoclasse di FixedHoliday |