USThanksgivingDay - Sigma Knowledge base Browser

appearance as argument number 1

(documentation USThanksgivingDay EnglishLanguage "An instance of USThanksgivingDay is a USHoliday celebrated yearly on the fourth Thursday of November. The holiday commemorates the feasts of Thanksgiving instituted by early English settlers in the New World, most notably the 1621 Thanksgiving at Plymouth Colony in Massachusetts. In the UniteStates, USThanksgivingDay traditionally is the one national holiday for which entire families strive to come together, with members often traveling great distances. Note that Canada celebrates its own Thanksgiving, on the second Monday of October, with tradition, significance, and foods that parallel the UnitedStates version.")	Media.kif 622-633
(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
(subclass USThanksgivingDay USHoliday)	Media.kif 619-619	US thanksgiving day is a subclass of US holiday

appearance as argument number 2

domainEnglishFormat.kif 65687-65687

antecedent

(=>
    (instance ?T USThanksgivingDay)
    (exists (?M)
        (and
            (instance ?M November)
            (during ?T ?M))))

Media.kif 635-640