(=>
(and
(instance ?MONTH1
(MonthFn January ?YEAR))
(instance ?MONTH2
(MonthFn February ?YEAR)))
(meetsTemporally ?MONTH1 ?MONTH2)) |
Merge.kif 9258-9262 |
If X is an instance of the month January and Y is an instance of the month February, then X meets Y |
(=>
(and
(instance ?MONTH
(MonthFn February ?YEAR))
(instance ?Y ?YEAR)
(not
(instance ?Y LeapYear)))
(duration ?MONTH
(MeasureFn 28 DayDuration))) |
Merge.kif 9268-9273 |
If X is an instance of the month February, Y is an instance of Z, and Y is not an instance of leap year, then duration of X is 28 day duration(s) |
(=>
(and
(instance ?MONTH
(MonthFn February ?YEAR))
(instance ?Y ?YEAR)
(instance ?Y LeapYear))
(duration ?MONTH
(MeasureFn 29 DayDuration))) |
Merge.kif 9275-9280 |
If X is an instance of the month February, Y is an instance of Z, and Y is an instance of leap year, then duration of X is 29 day duration(s) |
(=>
(and
(instance ?MONTH1
(MonthFn February ?YEAR))
(instance ?MONTH2
(MonthFn March ?YEAR)))
(meetsTemporally ?MONTH1 ?MONTH2)) |
Merge.kif 9282-9286 |
If X is an instance of the month February and Y is an instance of the month March, then X meets Y |
(=>
(and
(instance ?I NonnegativeInteger)
(equal ?I
(NumberOfDaysInMonthFn ?M ?Y))
(not
(equal ?M February))
(instance ?Y ?YEAR)
(instance ?MONTH
(MonthFn ?M ?YEAR)))
(duration ?MONTH
(MeasureFn ?I DayDuration))) |
Weather.kif 670-680 |
If X is an instance of nonnegative integer, equal X, Number of days in month Y, and year Z, equal Y and February, Z is an instance of W, and V is an instance of the month Y, then duration of V is X day duration(s) |
(=>
(and
(instance ?I NonnegativeInteger)
(equal ?I
(NumberOfDaysInMonthFn ?M ?Y))
(equal ?M February)
(instance ?LP LeapYear)
(not
(equal ?Y ?LP)))
(equal ?I 28)) |
Weather.kif 682-691 |
If X is an instance of nonnegative integer, equal X, Number of days in month Y, and year Z, equal Y and February, W is an instance of leap year, and equal Z and W, then equal X and 28 |
(=>
(and
(instance ?I NonnegativeInteger)
(equal ?I
(NumberOfDaysInMonthFn ?M ?Y))
(equal ?M February)
(instance ?LP LeapYear)
(equal ?Y ?LP))
(equal ?I 29)) |
Weather.kif 693-701 |
If X is an instance of nonnegative integer, equal X, Number of days in month Y, and year Z, equal Y and February, W is an instance of leap year, and equal Z and W, then equal X and 29 |
