![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 |