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



KB Term:  Term intersection
English Word: 

Sigma KEE - Nino3
Nino3(Nino 3)

appearance as argument number 1
-------------------------


(instance Nino3 NinoRegion) Weather.kif 873-873 Nino 3 is an instance of Nino region
(documentation Nino3 EnglishLanguage "Nino3 lies between 5N-5S and 150W-90W. This region was once the primary focus for monitoring and predicting El Niño, but researchers later learned that the key region for coupled ocean-atmosphere interactions for ENSO lies further west (Trenberth, 1997). Hence, the Niño 3.4 and ONI became favored for defining ElNinoPhaseo and LaNinaPhase events.[US National Science Foundation, National Center For Atomspheric Research]") Weather.kif 874-878 Nino 3 is an instance of Nino region

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Nino3 "Nino 3") Weather.kif 879-879

antecedent
-------------------------


(=>
    (and
        (instance ?R Region)
        (located ?R Nino3)
        (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 90)
        (lessThanOrEqualTo ?Y 150)))
Weather.kif 881-896 If X is an instance of region, X is located at Nino 3, 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 90, and W is less than or equal to 150


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