| Lent(lent) | | Lent, Lententide |
| 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 is a subclass of Christian holiday |
| (subclass Lent MoveableHoliday) | Media.kif 414-414 | Lent is a subclass of moveable holiday |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Lent "lent") | domainEnglishFormat.kif 65158-65158 |
| antecedent |
|
|
| consequent |
|
|
| (=> (instance ?T1 EasterSunday) (exists (?T2) (and (instance ?T2 Lent) (meetsTemporally ?T2 ?T1)))) |
Media.kif 430-435 |
|
|
|
|