(subclass AscensionThursday ChristianHoliday) | Media.kif 528-528 | AscensionThursday は ChristianHoliday の subclass では %n |
(subclass AscensionThursday MoveableHoliday) | Media.kif 529-529 | AscensionThursday は MoveableHoliday の subclass では %n |
(subclass AscensionThursday Thursday) | Media.kif 530-530 | AscensionThursday は 木曜日 の subclass では %n |