TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Pentecost ChristianHoliday)	Media.kif 543-543	Pentecost is a subclass of Christian holiday
(subclass Pentecost MoveableHoliday)	Media.kif 544-544	Pentecost is a subclass of moveable holiday
(subclass Pentecost Sunday)	Media.kif 545-545	Pentecost is a subclass of Sunday
(documentation Pentecost EnglishLanguage "An instance of Pentecost is a ChristianHoliday that commemorates the descent of the Holy Spirit onto the Apostles and other followers of Jesus, as described in the Book of Acts.")	Media.kif 546-549	Pentecost is a subclass of Sunday

appearance as argument number 2

(termFormat EnglishLanguage Pentecost "Pentecost")

antecedent

(=>
    (and
        (instance ?Y Year)
        (instance ?E EasterSunday)
        (instance ?P Pentecost)
        (during ?E ?Y)
        (during ?P ?Y)
        (starts ?E ?I)
        (finishes ?P ?I))
    (duration ?I
        (MeasureFn 50 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 Pentecost (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 50 day duration(s)