Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  USThanksgivingDay

Sigma KEE - USThanksgivingDay
USThanksgivingDay

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 USThanksgivingDayMoveableHolidaysubclass では %n
(subclass USThanksgivingDay Thursday) Media.kif 621-621 USThanksgivingDay木曜日subclass では %n
(subclass USThanksgivingDay USHoliday) Media.kif 619-619 USThanksgivingDayUSHolidaysubclass では %n

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage USThanksgivingDay "US thanksgiving day") domainEnglishFormat.kif 65639-65639

antecedent
-------------------------


(=>
    (instance ?T USThanksgivingDay)
    (exists (?M)
        (and
            (instance ?M November)
            (during ?T ?M))))
Media.kif 635-640


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners