(=>
(instance
(LongitudeFn ?DIRECTION @ROW) Region)
(or
(equal ?DIRECTION East)
(equal ?DIRECTION West))) |
Geography.kif 1937-1941 |
If the meridian at @ROW Y is an instance of region, then equal Y and east of or equal Y and west of |
(=>
(and
(instance
(LongitudeFn ?DIRECTION @ROW) Region)
(equal
(ListOrderFn
(ListFn @ROW) 1)
(MeasureFn ?NUM AngularDegree)))
(lessThanOrEqualTo ?NUM 180.0)) |
Geography.kif 1943-1950 |
If the meridian at @ROW Y is an instance of region and equal 1th element of (@ROW) and Z angular degree(s), then Z is less than or equal to 180.0 |
(=>
(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))) |
Weather.kif 858-871 |
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 |
(=>
(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 |
(=>
(and
(instance ?R Region)
(located ?R Nino3Point4)
(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 120)
(lessThanOrEqualTo ?Y 170))) |
Weather.kif 908-923 |
If X is an instance of region, X is located at Nino 3.4, 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 120, and W is less than or equal to 170 |
