(subclass EasterSunday ChristianHoliday) | Media.kif 484-484 | EasterSunday est une sous-classe de ChristianHoliday |
(subclass EasterSunday Sunday) | Media.kif 485-485 | EasterSunday est une sous-classe de Dimanche |
(subclass EasterSunday MoveableHoliday) | Media.kif 486-486 | EasterSunday est une sous-classe de MoveableHoliday |