TreeView Knowledge Base Browser

appearance as argument number 1

(subclass AscensionThursday ChristianHoliday)	Media.kif 522-522	Ascension thursday is a subclass of Christian holiday
(subclass AscensionThursday MoveableHoliday)	Media.kif 523-523	Ascension thursday is a subclass of moveable holiday
(subclass AscensionThursday Thursday)	Media.kif 524-524	Ascension thursday is a subclass of Thursday
(documentation AscensionThursday EnglishLanguage "An instance of AscensionThursday is a ChristianHoliday that celebrates the bodily ascension of Jesus to heaven following his resurrection.")	Media.kif 525-528	Ascension thursday is a subclass of Thursday

appearance as argument number 2

antecedent

(=>
    (and
        (instance ?Y Year)
        (instance ?E EasterSunday)
        (instance ?A AscensionThursday)
        (during ?E ?Y)
        (during ?A ?Y)
        (starts ?E ?I)
        (finishes ?A ?I))
    (duration ?I
        (MeasureFn 40 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 ascension thursday (4) Y takes place during X (5) Z takes place during X (6) Y starts W (7) Z finishes W, then duration of W is 40 day duration(s)