(subclass Epiphany ChristianHoliday) | Media.kif 516-516 | Epiphany 是 ChristianHoliday 的 subclass |
(subclass Epiphany (DayFn 6 January)) |
Media.kif 517-517 | Epiphany 是 6 day 的 subclass |
(subclass Epiphany FixedHoliday) | Media.kif 518-518 | Epiphany 是 固定假期 的 subclass |