(=>
(and
(duration ?T
(MeasureFn ?P MonthDuration))
(greaterThanOrEqualTo ?P 5)
(holdsDuring ?T
(and
(equal ?D
(SubtractionFn ?S ?L))
(equal
(MeasureFn ?S CelsiusDegree)
(ThreeMonthsRunningMeanSSTFn Nino3Point4 ?M ?Y))
(equal
(MeasureFn ?L CelsiusDegree)
(ThirtyYearAverageSSTForMonthFn Nino3Point4 ?M ?Y))
(greaterThan ?D 0.5))))
(holdsDuring ?T
(exists (?EL ?A)
(and
(instance ?EL ElNinoPhase)
(instance ?A GeographicArea)
(eventLocated ?EL ?A))))) |
Weather.kif 528-549 |
If duration of X is Y month duration(s), Y is greater than or equal to 5, and equal Z and (W and V) and equal W celsius degree(s) and ThreeMonthsRunningMeanSSTFn for month U year T in region Nino 3.4 and equal V celsius degree(s) and ThirtyYearAverageSSTForMonthFn for month U in year T of region Nino 3.4 and Z is greater than 0.5 holds during X, then there exist S, R such that S is an instance of El Nino phase, R is an instance of geographic area, and S is located at R holds during X |
(=>
(and
(duration ?T
(MeasureFn ?P MonthDuration))
(greaterThanOrEqualTo ?P 5)
(holdsDuring ?T
(and
(equal ?D
(SubtractionFn ?S ?L))
(equal
(MeasureFn ?S CelsiusDegree)
(ThreeMonthsRunningMeanSSTFn Nino3Point4 ?M ?Y))
(equal
(MeasureFn ?L CelsiusDegree)
(ThirtyYearAverageSSTForMonthFn Nino3Point4 ?M ?Y))
(lessThan ?D -0.5))))
(holdsDuring ?T
(exists (?LA ?A)
(and
(instance ?LA LaNinaPhase)
(instance ?A GeographicArea)
(eventLocated ?LA ?A))))) |
Weather.kif 563-584 |
If duration of X is Y month duration(s), Y is greater than or equal to 5, and equal Z and (W and V) and equal W celsius degree(s) and ThreeMonthsRunningMeanSSTFn for month U year T in region Nino 3.4 and equal V celsius degree(s) and ThirtyYearAverageSSTForMonthFn for month U in year T of region Nino 3.4 and Z is less than -0.5 holds during X, then there exist S, R such that S is an instance of La Nina phase, R is an instance of geographic area, and S is located at R holds during X |
(=>
(holdsDuring ?T
(and
(equal ?D
(SubtractionFn ?S ?L))
(equal
(MeasureFn ?S CelsiusDegree)
(ThreeMonthsRunningMeanSSTFn Nino3Point4 ?M ?Y))
(equal
(MeasureFn ?L CelsiusDegree)
(ThirtyYearAverageSSTForMonthFn Nino3Point4 ?M ?Y))
(greaterThanOrEqualTo ?D -0.5)
(lessThanOrEqualTo ?D 0.5)))
(holdsDuring ?T
(exists (?N ?A)
(and
(instance ?N ENSONeutralPhase)
(instance ?A GeographicArea)
(eventLocated ?N ?A))))) |
Weather.kif 592-610 |
If equal X and (Y and Z) and equal Y celsius degree(s) and ThreeMonthsRunningMeanSSTFn for month W year V in region Nino 3.4 and equal Z celsius degree(s) and ThirtyYearAverageSSTForMonthFn for month W in year V of region Nino 3.4 and X is greater than or equal to -0.5 and X is less than or equal to 0.5 holds during U, then there exist T, S such that T is an instance of Enso neutral phase, S is an instance of geographic area, and T is located at S holds during U |
(=>
(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) |
