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

Formal Language: 



KB Term:  Term intersection
English Word: 

  USHoliday

Sigma KEE - USHoliday
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假日subclass

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


(subclass USThanksgivingDay USHoliday) Media.kif 619-619 USThanksgivingDayUSHolidaysubclass
(termFormat EnglishLanguage USHoliday "US holiday") domainEnglishFormat.kif 65640-65640


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