![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| LaNinaPhase(La Nina phase) |
| appearance as argument number 1 |
|
|
| (subclass LaNinaPhase ElNinoSouthernOscillation) | Weather.kif 551-551 | La Nina phase is a subclass of el nino southern oscillation |
| (documentation LaNinaPhase EnglishLanguage "LaNinaPhase has roughly the reverse pattern: high pressure over the central and eastern Pacific and lower pressure through much of the rest of the tropics and subtropics. An especially strong Walker circulation causes La Niña, where sea surface temperature across the eastern equatorial part of the central Pacific Ocean will be lower than normal by 3–5 °C (5.4–9 °F). The phenomenon occurs as strong winds blow warm water at the ocean's surface away from South America, across the Pacific Ocean towards Indonesia. As this warm water moves west, cold water from the deep sea rises to the surface near South America.[Wikipedia] Operational definition used by NOAA uses a 3-month running mean, and to be classified as a full-fledged La Nina, the anomalies must exceed -0.5C for at least five consecutive months.") | Weather.kif 552-560 | La Nina phase is a subclass of el nino southern oscillation |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage LaNinaPhase "La Nina phase") | Weather.kif 561-561 |
| 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)) (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 |