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 | EasterSunday è una sottoclasse di ChristianHoliday |
(subclass EasterSunday MoveableHoliday) | Media.kif 486-486 | EasterSunday è una sottoclasse di MoveableHoliday |
(subclass EasterSunday Sunday) | Media.kif 485-485 | EasterSunday è una sottoclasse di Domenica |
appearance as argument number 2 |
(termFormat EnglishLanguage EasterSunday "Easter sunday") | domainEnglishFormat.kif 64801-64801 |
antecedent |
consequent |
(=> (instance ?T1 Lent) (exists (?T2) (and (instance ?T2 EasterSunday) (meetsTemporally ?T1 ?T2)))) |
Media.kif 423-428 |