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 是 ChristianHoliday 的 subclass |
(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 64801-64801 |
antecedent |
consequent |
(=> (instance ?T1 Lent) (exists (?T2) (and (instance ?T2 EasterSunday) (meetsTemporally ?T1 ?T2)))) |
Media.kif 423-428 |