Lent - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Lent ChristianHoliday)	Media.kif 407-407	Lent is a subclass of Christian holiday
(subclass Lent MoveableHoliday)	Media.kif 408-408	Lent is a subclass of moveable holiday
(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 409-415	Lent is a subclass of moveable holiday

appearance as argument number 2

(termFormat EnglishLanguage Lent "lent")

antecedent

(=> (instance ?T1 Lent) (exists (?T2) (and (instance ?T2 EasterSunday) (meetsTemporally ?T1 ?T2))))	Media.kif 417-422	If X is an instance of lent, then there exists Y such that Y is an instance of Easter sunday and X meets Y
(=> (and (instance ?ES EasterSunday) (instance ?L Lent) (meetsTemporally ?L ?ES) (during ?ES ?Y) (instance ?Y Year)) (during ?L ?Y))	Media.kif 431-438	If X is an instance of Easter sunday, Y is an instance of lent, Y meets X, X takes place during Z, and Z is an instance of year, then Y takes place during Z
(=> (and (instance ?ES EasterSunday) (instance ?L Lent) (meetsTemporally ?L ?ES) (during ?L ?Y) (instance ?Y Year)) (during ?ES ?Y))	Media.kif 440-447	If X is an instance of Easter sunday, Y is an instance of lent, Y meets X, Y takes place during Z, and Z is an instance of year, then X takes place during Z
(=> (instance ?T1 Lent) (duration ?T1 (MeasureFn 40 DayDuration)))	Media.kif 449-451	If X is an instance of lent, then duration of X is 40 day duration(s)

consequent

(=>
    (instance ?T1 EasterSunday)
    (exists (?T2)
        (and
            (instance ?T2 Lent)
            (meetsTemporally ?T2 ?T1))))

If X is an instance of Easter sunday, then there exists Y such that Y is an instance of lent and Y meets X