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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EasterSunday

Sigma KEE - EasterSunday
EasterSunday

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


(documentation EasterSunday EnglishLanguage "An instance of EasterSunday is a ChristianHoliday celebrating the resurrection of Jesus of Nazareth. Easter is a movable holiday, falling between late March and late April for Western Chrisitanity (Gregorian calendar), and between early April and early May for Eastern Christianity (Julian calendar). Easter is calculated to occur near the Jewish holiday Passover, the date of which is determined according to the Jewish lunar calendar.") Media.kif 487-494
(subclass EasterSunday ChristianHoliday) Media.kif 484-484 EasterSundayChristianHolidaysubclass
(subclass EasterSunday MoveableHoliday) Media.kif 486-486 EasterSunday可动的假期subclass
(subclass EasterSunday Sunday) Media.kif 485-485 EasterSunday星期日subclass

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


(termFormat EnglishLanguage EasterSunday "Easter sunday") domainEnglishFormat.kif 64799-64799

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


(=>
    (and
        (holdsDuring ?H
            (attribute ?A Christian))
        (instance ?H EasterSunday))
    (observesHoliday ?A ?H))
Media.kif 509-514
(=>
    (and
        (instance ?D EasterSunday)
        (temporalPart ?D ?M)
        (instance ?M Month))
    (or
        (instance ?M March)
        (instance ?M April)
        (instance ?M May)))
Media.kif 498-506
(=>
    (and
        (instance ?ES EasterSunday)
        (instance ?L Lent)
        (meetsTemporally ?L ?ES)
        (during ?ES ?Y)
        (instance ?Y Year))
    (during ?L ?Y))
Media.kif 437-444
(=>
    (and
        (instance ?ES EasterSunday)
        (instance ?L Lent)
        (meetsTemporally ?L ?ES)
        (during ?L ?Y)
        (instance ?Y Year))
    (during ?ES ?Y))
Media.kif 446-453
(=>
    (and
        (instance ?Y Year)
        (instance ?E EasterSunday)
        (instance ?A AscensionThursday)
        (during ?E ?Y)
        (during ?A ?Y)
        (starts ?E ?I)
        (finishes ?A ?I))
    (duration ?I
        (MeasureFn 40 DayDuration)))
Media.kif 538-547
(=>
    (and
        (instance ?Y Year)
        (instance ?E EasterSunday)
        (instance ?P PalmSunday)
        (during ?E ?Y)
        (during ?P ?Y)
        (starts ?P ?I)
        (finishes ?E ?I))
    (duration ?I
        (MeasureFn 8 DayDuration)))
Media.kif 473-482
(=>
    (and
        (instance ?Y Year)
        (instance ?E EasterSunday)
        (instance ?P Pentecost)
        (during ?E ?Y)
        (during ?P ?Y)
        (starts ?E ?I)
        (finishes ?P ?I))
    (duration ?I
        (MeasureFn 50 DayDuration)))
Media.kif 559-568
(=>
    (instance ?T1 EasterSunday)
    (exists (?T2)
        (and
            (instance ?T2 Lent)
            (meetsTemporally ?T2 ?T1))))
Media.kif 430-435

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


(=>
    (instance ?T1 Lent)
    (exists (?T2)
        (and
            (instance ?T2 EasterSunday)
            (meetsTemporally ?T1 ?T2))))
Media.kif 423-428


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