Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  ChristmasDay

 Sigma KEE - ChristmasDay
ChristmasDay(Christmas day)Christmas, Christmas_Day, Dec_25, Xmas

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


(subclass ChristmasDay ChristianHoliday) Media.kif 328-328 Christmas day is a subclass of Christian holiday
(subclass ChristmasDay Day) Media.kif 329-329 Christmas day is a subclass of day
(subclass ChristmasDay FixedHoliday) Media.kif 330-330 Christmas day is a subclass of fixed holiday
(subclass ChristmasDay
    (DayFn 25 December))		 Media.kif 331-331 Christmas day is a subclass of the day 25 of month December
(documentation ChristmasDay EnglishLanguage "An instance of ChristmasDay is a ChristianHoliday on which observant members of Christianity celebrate the birth of Jesus of Nazareth. In both the Gregorian and Julian calendars, ChristmasDay falls on December 25th, but since the two calendars are currently off by 13 days, the ChristmasDays assigned by each correspond to different actual (sidereal, UTC) days.") Media.kif 335-341 Christmas day is a subclass of the day 25 of month December

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


(nationalHoliday Australia ChristmasDay) Media.kif 353-353 Christmas day is a national holiday of australia
(nationalHoliday NewZealand ChristmasDay) Media.kif 354-354 Christmas day is a national holiday of new zealand
(termFormat EnglishLanguage ChristmasDay "Christmas day") domainEnglishFormat.kif 64639-64639 Christmas day is a national holiday of new zealand

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


(=>
    (instance ?T1 ChristmasDay)
    (exists (?T2)
        (and
            (instance ?T2 Advent)
            (meetsTemporally ?T2 ?T1))))		 Media.kif 356-361 If X is an instance of Christmas day, then there exists Y such that Y is an instance of advent and Y meets X
(=>
    (and
        (instance ?T1 Advent)
        (instance ?T2 ChristmasDay)
        (meetsTemporally ?T1 ?T2))
    (exists (?YEAR)
        (and
            (instance ?YEAR Year)
            (during ?T1 ?YEAR)
            (during ?T2 ?YEAR))))		 Media.kif 370-379 If X is an instance of advent, Y is an instance of Christmas day, and X meets Y, then there exists Z such that Z is an instance of year, X takes place during Z, and Y takes place during Z
(=>
    (and
        (instance ?T1 Advent)
        (instance ?T2 ChristmasDay)
        (during ?T1 ?YEAR)
        (instance ?YEAR Year)
        (meetsTemporally ?T1 ?T2))
    (during ?T2 ?YEAR))		 Media.kif 381-388 If X is an instance of advent, Y is an instance of Christmas day, X takes place during Z, Z is an instance of year, and X meets Y, then Y takes place during Z
(=>
    (and
        (instance ?T1 Advent)
        (instance ?T2 ChristmasDay)
        (during ?T2 ?YEAR)
        (instance ?YEAR Year)
        (meetsTemporally ?T1 ?T2))
    (during ?T1 ?YEAR))		 Media.kif 390-397 If X is an instance of advent, Y is an instance of Christmas day, Y takes place during Z, Z is an instance of year, and X meets Y, then X takes place during Z
(=>
    (and
        (holdsDuring ?H
            (attribute ?A Christian))
        (instance ?H ChristmasDay))
    (observesHoliday ?A ?H))		 Media.kif 400-405 If christian is an attribute of X holds during Y and Y is an instance of Christmas day, then X observes Y

consequent
-------------------------


(=>
    (and
        (instance ?NATION Nation)
        (or
            (geographicSubregion ?NATION NorthAmerica)
            (geographicSubregion ?NATION SouthAmerica)
            (geographicSubregion ?NATION WesternEurope)))
    (holdsDuring
        (WhenFn ?NATION)
        (nationalHoliday ?NATION ChristmasDay)))		 Media.kif 343-351 If X is an instance of nation and At least one of the following holds: (1) X is a geographic subregion of north america (2) X is a geographic subregion of south america (3) X is a geographic subregion of western europe, then Christmas day is a national holiday of X holds during the time of existence of X
(=>
    (instance ?T1 Advent)
    (exists (?T2)
        (and
            (instance ?T2 ChristmasDay)
            (meetsTemporally ?T1 ?T2))))		 Media.kif 363-368 If X is an instance of advent, then there exists Y such that Y is an instance of Christmas day and X meets Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners