| PalmSunday | |
| appearance as argument number 1 |
|
|
(documentation PalmSunday EnglishLanguage "An instance of PalmSunday is a ChristianHoliday that commemorates the Triumphal Entry of Jesus into Jerusalem in the days preceding his crucifixion. The actual date of a PalmSunday is determined by the date of the corresponding EasterSunday, and so, like Easter, Palm Sunday is a MoveableHoliday.") |
Media.kif 462-468 | |
| (subclass PalmSunday ChristianHoliday) | Media.kif 459-459 | 子類 PalmSunday and ChristianHoliday |
| (subclass PalmSunday MoveableHoliday) | Media.kif 461-461 | 子類 PalmSunday and 可動的假期 |
| (subclass PalmSunday Sunday) | Media.kif 460-460 | 子類 PalmSunday and Sunday |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage PalmSunday "palm sunday") | domainEnglishFormat.kif 65288-65288 |
| antecedent |
|
|
| (=> (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 |
|
|
|
|