(subclass Thursday Day) | Merge.kif 9269-9269 | Thursday is a subclass of day |
(subclass AscensionThursday Thursday) | Media.kif 530-530 | Ascension thursday is a subclass of Thursday |
(subclass USThanksgivingDay Thursday) | Media.kif 621-621 | US thanksgiving day is a subclass of Thursday |