(=>
(and
(equal ?L
(DailyTempListFn ?W ?M ?Y))
(inList ?T ?L)
(equal ?DAYS
(NumberOfDaysInMonthFn ?M ?Y)))
(exists (?D ?DAY ?YEAR)
(and
(lessThanOrEqualTo ?D ?DAYS)
(equal ?T
(DailyTempFn ?W ?DAY))
(instance ?Y ?YEAR)
(instance ?DAY
(DayFn ?D
(MonthFn ?M ?YEAR)))))) |
Weather.kif 643-657 |
If equal X and The List of daily temperature for month Y in year Z for GeographicArea W, V is a member of X, and equal U, Number of days in month Y, and year Z, then there exist T, S, R such that T is less than or equal to U, equal V, The avearage daily temperature for Region W, Z is an instance of R, and S is an instance of the day T of month the month Y |
