Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| USThanksgivingDay(US thanksgiving day) |
| appearance as argument number 1 |
|
| (subclass USThanksgivingDay USHoliday) | Media.kif 613-613 | US thanksgiving day is a subclass of US holiday |
| (subclass USThanksgivingDay MoveableHoliday) | Media.kif 614-614 | US thanksgiving day is a subclass of moveable holiday |
| (subclass USThanksgivingDay Thursday) | Media.kif 615-615 | US thanksgiving day is a subclass of Thursday |
| (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 616-627 | US thanksgiving day is a subclass of Thursday |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage USThanksgivingDay "US thanksgiving day") | domainEnglishFormat.kif 65642-65642 |
| antecedent |
|
|
| (=> (instance ?T USThanksgivingDay) (exists (?M) (and (instance ?M November) (during ?T ?M)))) |
Media.kif 629-634 | If X is an instance of US thanksgiving day, then there exists Y such that Y is an instance of November and X takes place during Y |
|