TreeView Knowledge Base Browser

appearance as argument number 1

(subclass PalmSunday ChristianHoliday)	Media.kif 453-453	Palm sunday is a subclass of Christian holiday
(subclass PalmSunday Sunday)	Media.kif 454-454	Palm sunday is a subclass of Sunday
(subclass PalmSunday MoveableHoliday)	Media.kif 455-455	Palm sunday is a subclass of moveable holiday
(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 456-462	Palm sunday is a subclass of moveable holiday

appearance as argument number 2

(termFormat EnglishLanguage PalmSunday "palm sunday")

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)))

If All of the following hold: (1) X is an instance of year (2) Y is an instance of Easter sunday (3) Z is an instance of palm sunday (4) Y takes place during X (5) Z takes place during X (6) Z starts W (7) Y finishes W, then duration of W is 8 day duration(s)