TreeView Knowledge Base Browser

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	Palm sunday is a subclass of Christian holiday
(subclass PalmSunday MoveableHoliday)	Media.kif 461-461	Palm sunday is a subclass of moveable holiday
(subclass PalmSunday Sunday)	Media.kif 460-460	Palm sunday is a subclass of Sunday

appearance as argument number 2

(termFormat EnglishLanguage PalmSunday "palm sunday")

domainEnglishFormat.kif 65281-65281

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