(subclass AscensionThursday ChristianHoliday) | Media.kif 528-528 | Ascension thursday is a subclass of Christian holiday |
(subclass AscensionThursday MoveableHoliday) | Media.kif 529-529 | Ascension thursday is a subclass of moveable holiday |
(subclass AscensionThursday Thursday) | Media.kif 530-530 | Ascension thursday is a subclass of Thursday |