(subclass PalmSunday ChristianHoliday) | Media.kif 459-459 | PalmSunday は ChristianHoliday の subclass では %n |
(subclass PalmSunday Sunday) | Media.kif 460-460 | PalmSunday は 日曜日 の subclass では %n |
(subclass PalmSunday MoveableHoliday) | Media.kif 461-461 | PalmSunday は MoveableHoliday の subclass では %n |