| Pentecost(Pentecost) | | Pentecost, Whitsunday |
| appearance as argument number 1 |
|
|
| (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 552-555 | |
| (subclass Pentecost ChristianHoliday) | Media.kif 549-549 | Pentecost is a subclass of Christian holiday |
| (subclass Pentecost MoveableHoliday) | Media.kif 550-550 | Pentecost is a subclass of moveable holiday |
| (subclass Pentecost Sunday) | Media.kif 551-551 | Pentecost is a subclass of Sunday |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Pentecost "Pentecost") | domainEnglishFormat.kif 65349-65349 |
| 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))) |
Media.kif 559-568 |
|
|
|
|