  LatitudeFn
|
|
Sigma KEE - LatitudeFn
|
appearance as argument number 1
|
|
|
|
appearance as argument number 2
|
|
|
|
antecedent
|
|
|
(=>
(equal Equator
(LatitudeFn ?DIR
(MeasureFn 0 AngularDegree)))
(or
(equal ?DIR North)
(equal ?DIR South))) |
Geography.kif 1581-1587 |
If equal equator and the region X of 0 angular degree(s), then equal X and north of or equal X and south of |
(=>
(instance
(LatitudeFn ?DIRECTION @ROW) Region)
(or
(equal ?DIRECTION North)
(equal ?DIRECTION South))) |
Geography.kif 1899-1903 |
If the region X of @ROW is an instance of region, then equal X and north of or equal X and south of |
(=>
(and
(instance
(LatitudeFn ?DIRECTION @ROW) Region)
(equal
(ListOrderFn
(ListFn @ROW) 1)
(MeasureFn ?NUM AngularDegree)))
(lessThanOrEqualTo ?NUM 90.0)) |
Geography.kif 1905-1909 |
If the region X of @ROW is an instance of region and equal 1th element of (@ROW) and Z angular degree(s), then Z is less than or equal to 90.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 |
|
consequent
|
|
|
(=>
(or
(equal ?DIRECTION North)
(equal ?DIRECTION South))
(length
(LatitudeFn ?DIRECTION
(MeasureFn 0.0 AngularDegree)
(MeasureFn 1.0 ArcMinute)
(MeasureFn 0.0 ArcSecond))
(MeasureFn 1.0 NauticalMile))) |
Geography.kif 1911-1918 |
If equal X and north of or equal X and south of, then the length of the region X of 0.0 angular degree(s) is 1.0 nautical mile(s) |
(=>
(and
(instance ?PLACE GeographicArea)
(located ?PLACE Tropics))
(exists (?NUM1 ?LONG ?DIR ?NUM2 ?U)
(and
(objectGeographicCoordinates ?PLACE
(MeasureFn ?NUM1 ?U) ?LONG)
(instance ?U UnitOfAngularMeasure)
(lessThan ?NUM1 ?NUM2)
(equal
(MeasureFn ?NUM2 ?U)
(LatitudeFn ?DIR
(MeasureFn 23.0 AngularDegree)
(MeasureFn 26.0 ArcMinute)
(MeasureFn 9.4 ArcSecond)))
(instance ?DIR DirectionalAttribute)
(or
(equal ?DIR North)
(equal ?DIR South))))) |
Geography.kif 5021-5040 |
If X is an instance of geographic area and X is located at tropics, then there exist Y, Z,, , W,, , V and U such that X is object geographic coordinates Y U(s) for Z and U is an instance of unit of angular measure and Y is less than V and equal V U(s) and the region W of 23.0 angular degree(s) and W is an instance of directional attribute and equal W and north of or equal W and south of |
(=>
(and
(instance ?TC TropicalCyclonicSystem)
(origin ?TC ?SEA)
(or
(instance ?SEA NorthAtlanticOcean)
(instance ?SEA PacificOcean)
(instance ?SEA IndianOcean)))
(not
(exists (?AREA ?DIR ?NUM ?LONG)
(and
(located ?AREA ?SEA)
(instance ?DIR DirectionalAttribute)
(objectGeographicCoordinates ?AREA
(LatitudeFn ?DIR
(MeasureFn ?NUM AngularDegree)) ?LONG)
(or
(equal ?DIR North)
(equal ?DIR South))
(lessThan ?NUM 5.0))))) |
Weather.kif 1052-1071 |
If X is an instance of tropical cyclonic system, X originates at Y, and At least one of the following holds: (1) Y is an instance of north atlantic ocean (2) Y is an instance of pacific ocean (3) Y is an instance of indian ocean, then there don't exist Z, W,, , V and U such that Z is located at Y and W is an instance of directional attribute and Z is object geographic coordinates the region W of V angular degree(s) for U and equal W and north of or equal W and south of and V is less than 5.0 |
|
