| AscensionThursday | |
| appearance as argument number 1 |
|
|
| (documentation AscensionThursday EnglishLanguage "An instance of AscensionThursday is a ChristianHoliday that celebrates the bodily ascension of Jesus to heaven following his resurrection.") | Media.kif 531-534 | |
| (subclass AscensionThursday ChristianHoliday) | Media.kif 528-528 | AscensionThursday 是 ChristianHoliday 的 subclass |
| (subclass AscensionThursday MoveableHoliday) | Media.kif 529-529 | AscensionThursday 是 可动的假期 的 subclass |
| (subclass AscensionThursday Thursday) | Media.kif 530-530 | AscensionThursday 是 星期四 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AscensionThursday "ascension thursday") | domainEnglishFormat.kif 64478-64478 |
| 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))) |
Media.kif 538-547 |
|
|
|