Lent
|
|
appearance as argument number 1 |
(documentation Lent EnglishLanguage "In Western Christianity, an instance of Lent is a 40-day period of (relative) fasting and reflection preceding an instance of EasterSunday. In the US, Lent is observed predominantly by RomanCatholics, with lesser participation by members of other Christian denominations, some of which even consider Lent not to be a legitimate ChristianHoliday.") | Media.kif 415-421 | |
(subclass Lent ChristianHoliday) | Media.kif 413-413 | Lent ist eine teilkategorie von ChristianHoliday |
(subclass Lent MoveableHoliday) | Media.kif 414-414 | Lent ist eine teilkategorie von MoveableHoliday |
appearance as argument number 2 |
(termFormat EnglishLanguage Lent "lent") | domainEnglishFormat.kif 65112-65112 |
antecedent |
consequent |
(=> (instance ?T1 EasterSunday) (exists (?T2) (and (instance ?T2 Lent) (meetsTemporally ?T2 ?T1)))) |
Media.kif 430-435 |
|