Advent |
appearance as argument number 1 |
(documentation Advent EnglishLanguage "An instance of Advent (LatinLanguage adventus = coming) is a TimeInterval that begins with an AdventSunday and includes the four Sundays preceding an instance of ChristmasDay. During this period, observant members of Christianity ritually anticipate the recurring celebration of the birth of Jesus of Nazareth. Note that Advent is observed only in Western Christianity, which includes RomanCatholicism, Protestantism, and Anglicanism. The analog of Advent in Eastern Christianity, which includes EasternOrthodoxChristianity, is the Nativity Fast, which differs from Advent in length and significance.") | Media.kif 298-308 | |
(subclass Advent ChristianHoliday) | Media.kif 296-296 | Advent ist eine teilkategorie von ChristianHoliday |
(subclass Advent MoveableHoliday) | Media.kif 297-297 | Advent ist eine teilkategorie von MoveableHoliday |
appearance as argument number 2 |
(termFormat EnglishLanguage Advent "advent") | domainEnglishFormat.kif 64410-64410 |
antecedent |
consequent |
(=> (instance ?T1 AdventSunday) (exists (?T2) (and (instance ?T2 Advent) (starts ?T1 ?T2)))) |
Media.kif 327-332 |
|
(=> (instance ?T1 ChristmasDay) (exists (?T2) (and (instance ?T2 Advent) (meetsTemporally ?T2 ?T1)))) |
Media.kif 362-367 |
|