![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ElNinoPhase(El Nino phase) |
| appearance as argument number 1 |
|
|
| (subclass ElNinoPhase ElNinoSouthernOscillation) | Weather.kif 513-513 | El Nino phase is a subclass of el nino southern oscillation |
| (documentation ElNinoPhase EnglishLanguage "ElNinoPhase is associated with higher than normal air sea level pressure over Indonesia, Australia and across the Indian Ocean to the Atlantic. El Niño conditions are established when the Walker circulation weakens or reverses and the Hadley circulation strengthens,leading to the development of a band of warm ocean water in the central and east-central equatorial Pacific (approximately between the International Date Line and 120°W), including the area off the west coast of South America,as upwelling of cold water occurs less or not at all offshore. This warming causes a shift in the atmospheric circulation, leading to higher air pressure in the western Pacific and lower in the eastern Pacific, with rainfall reducing over Indonesia, India and northern Australia, while rainfall and tropical cyclone formation increases over the tropical Pacific Ocean.[Wikipedia] Operational definition used by NOAA uses a 3-month running mean, and to be classified as a full-fledged El Nino, the anomalies must exceed +0.5C for at least five consecutive months.") | Weather.kif 514-525 | El Nino phase is a subclass of el nino southern oscillation |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ElNinoPhase "El Nino phase") | Weather.kif 526-526 |
| consequent |
|
|
| (=> (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 |