antecedent

(=>     (equal         (MeanMonthSSTFn ?W ?M ?Y)         (MeasureFn             (AverageFn ?LIST) ?U))     (equal ?LIST         (PhysicalQuantityToNumberFn             (DailyTempListFn ?W ?M ?Y))))	Weather.kif 624-629	If equal MeanMonthSSTFn for X in region Y and the average of the numbers in Z W(s), then equal Z and PhysicalQuantityToNumberFn returns the numberic values of a list of The List of daily temperature for month X in year V for GeographicArea Y
(=>     (and         (equal ?MEAN             (ThreeMonthsRunningMeanSSTFn ?W ?M ?Y))         (equal ?T             (MeanMonthSSTFn ?W ?M ?Y))         (previousMonthYear ?M1 ?Y1 ?M ?Y)         (equal ?T1             (MeanMonthSSTFn ?W ?M1 ?Y1))         (previousMonthYear ?M2 ?Y2 ?M1 ?Y1)         (equal ?T2             (MeanMonthSSTFn ?W ?M2 ?Y2)))     (exists (?N ?U)         (and             (equal ?N                 (AverageFn                     (PhysicalQuantityToNumberFn                         (ListFn ?T2 ?T1 ?T))))             (instance ?U UnitOfTemperature)             (equal ?MEAN                 (MeasureFn ?N ?U)))))	Weather.kif 789-807	If All of the following hold: (1) equal X and ThreeMonthsRunningMeanSSTFn for month Y year Z in region W (2) equal V and MeanMonthSSTFn for Y in region W (3) the previous month of Y in year Z is U T (4) equal S and MeanMonthSSTFn for U in region W (5) the previous month of U in year T is R Q (6) equal P and MeanMonthSSTFn for R in region W, then there exist O and N such that equal O and the average of the numbers in PhysicalQuantityToNumberFn returns the numberic values of a list of (P, S, and V) and N is an instance of unit of temperature and equal X and O N(s)
(=>     (and         (equal ?TEMP             (ThirtyYearAverageSSTForMonthFn ?W ?M ?Y))         (instance ?Y             (YearFn ?I))         (equal ?YEAR             (SubtractionFn ?I ?N))         (greaterThanOrEqualTo ?N 0)         (lessThan ?N 30)         (instance ?U UnitOfTemperature)         (equal             (MeasureFn ?X ?U)             (MeanMonthSSTFn ?W ?M                 (YearFn ?YEAR)))         (inList ?X ?L))     (equal ?TEMP         (MeasureFn             (AverageFn ?L) ?U)))	Weather.kif 822-839	If All of the following hold: (1) equal X and ThirtyYearAverageSSTForMonthFn for month Y in year Z of region W (2) Z is an instance of the year V (3) equal U and (V and T) (4) T is greater than or equal to 0 (5) T is less than 30 (6) S is an instance of unit of temperature (7) equal R S(s) and MeanMonthSSTFn for Y in region W (8) R is a member of Q, then equal X and the average of the numbers in Q S(s)

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