Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| AscensionThursday(ascension thursday) |  | Ascension, Ascension_Day, Ascension_of_Christ, Ascension_of_the_Lord |
| 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 |
|
|
| (termFormat EnglishLanguage AscensionThursday "ascension thursday") | domainEnglishFormat.kif 64481-64481 |
| 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 532-541 | 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) |
|