(=>
(instance ?T1 EasterSunday)
(exists (?T2)
(and
(instance ?T2 Lent)
(meetsTemporally ?T2 ?T1)))) |
Media.kif 424-429 |
If X is an instance of Easter sunday, then there exists Y such that Y is an instance of lent and Y meets X |
(=>
(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 |
(=>
(and
(instance ?Y Year)
(instance ?E EasterSunday)
(instance ?P PalmSunday)
(during ?E ?Y)
(during ?P ?Y)
(starts ?P ?I)
(finishes ?E ?I))
(duration ?I
(MeasureFn 8 DayDuration))) |
Media.kif 467-476 |
If All of the following hold: (1) X is an instance of year (2) Y is an instance of Easter sunday (3) Z is an instance of palm sunday (4) Y takes place during X (5) Z takes place during X (6) Z starts W (7) Y finishes W, then duration of W is 8 day duration(s) |
(=>
(and
(instance ?D EasterSunday)
(temporalPart ?D ?M)
(instance ?M Month))
(or
(instance ?M March)
(instance ?M April)
(instance ?M May))) |
Media.kif 492-500 |
If X is an instance of Easter sunday, X is a part of Y, and Y is an instance of month, then At least one of the following holds: (1) Y is an instance of March (2) Y is an instance of April (3) Y is an instance of May |
(=>
(and
(holdsDuring ?H
(attribute ?A Christian))
(instance ?H EasterSunday))
(observesHoliday ?A ?H)) |
Media.kif 503-508 |
If christian is an attribute of X holds during Y and Y is an instance of Easter sunday, then X observes Y |
(=>
(and
(instance ?Y Year)
(instance ?E EasterSunday)
(instance ?A AscensionThursday)
(during ?E ?Y)
(during ?A ?Y)
(starts ?E ?I)
(finishes ?A ?I))
(duration ?I
(MeasureFn 40 DayDuration))) |
Media.kif 532-541 |
If All of the following hold: (1) X is an instance of year (2) Y is an instance of Easter sunday (3) Z is an instance of ascension thursday (4) Y takes place during X (5) Z takes place during X (6) Y starts W (7) Z finishes W, then duration of W is 40 day duration(s) |
(=>
(and
(instance ?Y Year)
(instance ?E EasterSunday)
(instance ?P Pentecost)
(during ?E ?Y)
(during ?P ?Y)
(starts ?E ?I)
(finishes ?P ?I))
(duration ?I
(MeasureFn 50 DayDuration))) |
Media.kif 553-562 |
If All of the following hold: (1) X is an instance of year (2) Y is an instance of Easter sunday (3) Z is an instance of Pentecost (4) Y takes place during X (5) Z takes place during X (6) Y starts W (7) Z finishes W, then duration of W is 50 day duration(s) |
