TreeView Knowledge Base Browser

appearance as argument number 1

(subclass ENSONeutralPhase ElNinoSouthernOscillation)	Weather.kif 586-586	Enso neutral phase is a subclass of el nino southern oscillation
(documentation ENSONeutralPhase EnglishLanguage "ENSONeutralPhase is the transition between warm and cold phases of ENSO. Sea surface temperatures - by definition,tropical precipitation, and wind patterns are near average conditions during this phase.[Wikipedia]")	Weather.kif 587-589	Enso neutral phase is a subclass of el nino southern oscillation

appearance as argument number 2

consequent

(=>
    (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)))))

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