| 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 | US holiday is a subclass of holiday |
| appearance as argument number 2 |
|
|
| (subclass USThanksgivingDay USHoliday) | Media.kif 619-619 | US thanksgiving day is a subclass of US holiday |
| (termFormat EnglishLanguage USHoliday "US holiday") | domainEnglishFormat.kif 65686-65686 | US thanksgiving day is a subclass of US holiday |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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