Lent - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Media.kif 415-421
No TPTP formula. May not be expressible in strict first order.	Media.kif 413-413	Lent is a subclass of Christian holiday
No TPTP formula. May not be expressible in strict first order.	Media.kif 414-414	Lent is a subclass of moveable holiday

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

domainEnglishFormat.kif 65122-65122

antecedent

No TPTP formula. May not be expressible in strict first order.	Media.kif 437-444	If a time interval is an instance of Easter sunday and another time interval is an instance of lent and the other time interval meets the time interval and the time interval takes place during a third time interval and the third time interval is an instance of year, then the other time interval takes place during the third time interval
No TPTP formula. May not be expressible in strict first order.	Media.kif 446-453	If a time interval is an instance of Easter sunday and another time interval is an instance of lent and the other time interval meets the time interval and the other time interval takes place during a third time interval and the third time interval is an instance of year, then the time interval takes place during the third time interval
No TPTP formula. May not be expressible in strict first order.	Media.kif 455-457	If a time interval is an instance of lent, then duration of the time interval is 40 day duration(s)
No TPTP formula. May not be expressible in strict first order.	Media.kif 423-428	If a time interval is an instance of lent, then there exists another time interval such that the other time interval is an instance of Easter sunday and the time interval meets the other time interval

consequent

No TPTP formula. May not be expressible in strict first order.

Media.kif 430-435