USHoliday
|
|
appearance as argument number 1 |
(documentation USHoliday EnglishLanguage "An instance of USHoliday is a Holiday instituted and observed by citizens or inhabitants of the UnitedStates. Instances of USHoliday commemorate or celebrate key figures or events in the history of the nation, or focus attention on key national values or ideals.") | Media.kif 289-294 | |
(subclass USHoliday Holiday) | Media.kif 288-288 | USHoliday est une sous-classe de Holiday |
appearance as argument number 2 |
(subclass USThanksgivingDay USHoliday) | Media.kif 619-619 | USThanksgivingDay est une sous-classe de USHoliday |
(termFormat EnglishLanguage USHoliday "US holiday") | domainEnglishFormat.kif 65638-65638 |