(=>
(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
(instance ?R Region)
(located ?R Nino3Point4)
(objectGeographicCoordinates ?R
(LatitudeFn ?DIR
(MeasureFn ?X AngularDegree))
(LongitudeFn West
(MeasureFn ?Y AngularDegree))))
(and
(or
(equal ?DIR North)
(equal ?DIR South))
(lessThanOrEqualTo ?X 5)
(greaterThanOrEqualTo ?Y 120)
(lessThanOrEqualTo ?Y 170))) |
Weather.kif 908-923 |
If X is an instance of region, X is located at Nino 3.4, and X is object geographic coordinates the region Y of Z angular degree(s) for the meridian at W angular degree(s) west of, then equal Y and north of or equal Y and south of, Z is less than or equal to 5, W is greater than or equal to 120, and W is less than or equal to 170 |
