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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FixedHoliday
FixedHolidayfixed_holiday

appearance as argument number 1
-------------------------


s__documentation(s__FixedHoliday,s__EnglishLanguage,'FixedHoliday is the class of Holidays whose observance is fixed to recurrences of the calendar day that the holiday commemorates. See commemoratesDate.')

Mid-level-ontology.kif 12560-12562
s__instance(s__Holiday,s__SetOrClass)

Mid-level-ontology.kif 12559-12559

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


s__subclass(s__ChristmasDay,s__FixedHoliday)

Media.kif 336-336
s__instance(s__Epiphany,s__SetOrClass)

Media.kif 518-518
s__termFormat(s__EnglishLanguage,s__FixedHoliday,'fixed holiday')

domainEnglishFormat.kif 4441-4441

antecedent
-------------------------


( ! [V__HOLIDAY,V__DAY,V__MONTH,V__YEAR,V__DATE,V__LATER_YEAR] :
   ((s__commemoratesDate(V__HOLIDAY,s__DayFn(V__DAY,s__MonthFn(V__MONTH,s__YearFn(V__YEAR))))
&
s__instance(V__DATE,V__HOLIDAY)
&
s__subclass(V__HOLIDAY,s__FixedHoliday) &
s__lessThanOrEqualTo(V__YEAR,V__LATER_YEAR))
=>
s__instance(V__DATE,s__DayFn(V__DAY,s__MonthFn(V__MONTH,s__YearFn(V__LATER_YEAR)))))
)

Government.kif 613-619


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners