Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| USHoliday(US holiday) |
| appearance as argument number 1 |
|
| (subclass USHoliday Holiday) | Media.kif 282-282 | US holiday is a subclass of holiday |
| (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 283-288 | US holiday is a subclass of holiday |
| appearance as argument number 2 |
|
|
|