Browsing Interface : Welcome guest : log in
Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ElNinoPhase
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


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners