(subclass PalmSunday ChristianHoliday) | Media.kif 459-459 | Palm sunday is a subclass of Christian holiday |
(subclass PalmSunday Sunday) | Media.kif 460-460 | Palm sunday is a subclass of Sunday |
(subclass PalmSunday MoveableHoliday) | Media.kif 461-461 | Palm sunday is a subclass of moveable holiday |