(=>
(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 |
(=>
(and
(instance ?REGION GeographicArea)
(geographicSubregion
(GeographicNorthFn ?REGION) ?REGION)
(geographicSubregion
(GeographicSouthFn ?REGION) ?REGION))
(orientation
(GeographicNorthFn ?REGION)
(GeographicSouthFn ?REGION) North)) |
Geography.kif 1707-1712 |
If X is an instance of geographic area, geographic North X is a geographic subregion of X, and geographic South X is a geographic subregion of X, then geographic North X is north of to geographic South X |
(=>
(instance
(LatitudeFn ?DIRECTION @ROW) Region)
(or
(equal ?DIRECTION North)
(equal ?DIRECTION South))) |
Geography.kif 1901-1905 |
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 ?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 5050-5069 |
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 |
(<=>
(orientation ?OBJ1 ?OBJ2 Northeast)
(and
(orientation ?OBJ1 ?OBJ2 North)
(orientation ?OBJ1 ?OBJ2 East))) |
Geography.kif 5110-5114 |
X is northeast of to Y if, only if X is north of to Y, and X is east of to Y |
(<=>
(orientation ?OBJ1 ?OBJ2 Northwest)
(and
(orientation ?OBJ1 ?OBJ2 North)
(orientation ?OBJ1 ?OBJ2 West))) |
Geography.kif 5145-5149 |
X is northwest of to Y if, only if X is north of to Y, and X is west of to Y |
(<=>
(courseWRTTrueNorth ?OBJ1 ?OBJ2
(MeasureFn 0.0 AngularDegree))
(orientation ?OBJ1 ?OBJ2 North)) |
Geography.kif 5188-5190 |
X courseWRT true north Y for 0.0 angular degree(s) if and only if X is north of to Y |
(<=>
(courseWRTTrueNorth ?OBJ1 ?OBJ2
(MeasureFn 360.0 AngularDegree))
(orientation ?OBJ1 ?OBJ2 North)) |
Geography.kif 5204-5206 |
X courseWRT true north Y for 360.0 angular degree(s) if and only if X is north of to Y |
(=>
(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 897-912 |
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 924-939 |
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 |
(=>
(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 1068-1087 |
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 |
(=>
(and
(instance ?W Mistral)
(eventLocated ?W ?A)
(instance ?A GeographicArea)
(origin ?W SouthernFrance)
(destination ?W GulfOfLion))
(and
(geographicSubregion ?A MediterraneanRegion)
(orientation ?A MediterraneanSea North)
(geographicSubregion ?A SoutheasternEurope))) |
Weather.kif 2099-2109 |
If X is an instance of mistral, X is located at Y, Y is an instance of geographic area, X originates at Southern France, and X ends up at Gulf Of Lion, then Y is a geographic subregion of Mediterranean Region, Y is north of to mediterranean sea, and Y is a geographic subregion of southeastern europe |
