(subclass PalmSunday ChristianHoliday) | Media.kif 459-459 | PalmSunday est une sous-classe de ChristianHoliday |
(subclass PalmSunday Sunday) | Media.kif 460-460 | PalmSunday est une sous-classe de Dimanche |
(subclass PalmSunday MoveableHoliday) | Media.kif 461-461 | PalmSunday est une sous-classe de MoveableHoliday |