(subclass USThanksgivingDay USHoliday) | Media.kif 619-619 | US thanksgiving day is a subclass of US holiday |
(subclass USThanksgivingDay MoveableHoliday) | Media.kif 620-620 | US thanksgiving day is a subclass of moveable holiday |
(subclass USThanksgivingDay Thursday) | Media.kif 621-621 | US thanksgiving day is a subclass of Thursday |