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 e' uma sub-classe de ChristianHoliday |
(subclass EasterSunday MoveableHoliday) | Media.kif 486-486 | EasterSunday e' uma sub-classe de MoveableHoliday |
(subclass EasterSunday Sunday) | Media.kif 485-485 | EasterSunday e' uma sub-classe de Domingo |
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 |