Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Lent
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
(subclass Lent MoveableHoliday) Media.kif 414-414

antecedent
-------------------------


(=>
    (and
        (instance ?ES EasterSunday)
        (instance ?L Lent)
        (meetsTemporally ?L ?ES)
        (during ?ES ?Y)
        (instance ?Y Year))
    (during ?L ?Y))
Media.kif 437-444
(=>
    (and
        (instance ?ES EasterSunday)
        (instance ?L Lent)
        (meetsTemporally ?L ?ES)
        (during ?L ?Y)
        (instance ?Y Year))
    (during ?ES ?Y))
Media.kif 446-453
(=>
    (instance ?T1 Lent)
    (duration ?T1
        (MeasureFn 40 DayDuration)))
Media.kif 455-457
(=>
    (instance ?T1 Lent)
    (exists (?T2)
        (and
            (instance ?T2 EasterSunday)
            (meetsTemporally ?T1 ?T2))))
Media.kif 423-428

consequent
-------------------------


(=>
    (instance ?T1 EasterSunday)
    (exists (?T2)
        (and
            (instance ?T2 Lent)
            (meetsTemporally ?T2 ?T1))))
Media.kif 430-435


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners