(subclass Epiphany ChristianHoliday) | Media.kif 516-516 | Epiphany は ChristianHoliday の subclass では %n |
(subclass Epiphany (DayFn 6 January)) |
Media.kif 517-517 | Epiphany は 6 day 目 の subclass では %n |
(subclass Epiphany FixedHoliday) | Media.kif 518-518 | Epiphany は FixedHoliday の subclass では %n |