Nino1Pluse2 - Sigma Knowledge base Browser

appearance as argument number 1

(instance Nino1Pluse2 NinoRegion)	Weather.kif 850-850	Nino 1+2 is an instance of Nino region
(documentation Nino1Pluse2 EnglishLanguage "Nino1Pluse2 lies between 0-10S and 90W -80W. It is smallest and eastern-most of the Niño SST regions, and corresponds with the region of coastal SouthAmerica where ElNinoSouthernOscillation was first recognized by the local populations. This index tends to have the largest variance of the Niño SST indices. [US National Science Foundation, National Center For Atomspheric Research]")	Weather.kif 851-855	Nino 1+2 is an instance of Nino region

appearance as argument number 2

(termFormat EnglishLanguage Nino1Pluse2 "Nino 1+2")

antecedent

(=>
    (and
        (instance ?R Region)
        (located ?R Nino1Pluse2)
        (objectGeographicCoordinates ?R
            (LatitudeFn South
                (MeasureFn ?X AngularDegree))
            (LongitudeFn West
                (MeasureFn ?Y AngularDegree))))
    (and
        (greaterThanOrEqualTo ?X 0)
        (lessThanOrEqualTo ?X 10)
        (greaterThanOrEqualTo ?Y 80)
        (lessThanOrEqualTo ?Y 90)))

If X is an instance of region, X is located at Nino 1+2, and X is object geographic coordinates the region south of of Y angular degree(s) for the meridian at Z angular degree(s) west of, then Y is greater than or equal to 0, Y is less than or equal to 10, Z is greater than or equal to 80, and Z is less than or equal to 90