(<=>
(orientation ?OBJ1 ?OBJ2 North)
(orientation ?OBJ2 ?OBJ1 South)) |
Merge.kif 17372-17374 |
X is north of to Y if and only if Y is south of to X |
(=>
(and
(instance ?LAND Continent)
(not
(equal ?LAND Antarctica)))
(orientation Antarctica ?LAND South)) |
Geography.kif 292-296 |
If X is an instance of continent and equal X and antarctica, then antarctica is south of to X |
(=>
(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
(GeographicSouthFn ?REGION) ?REGION)
(geographicSubregion
(GeographicNorthFn ?REGION) ?REGION))
(orientation
(GeographicSouthFn ?REGION)
(GeographicNorthFn ?REGION) South)) |
Geography.kif 1753-1758 |
If X is an instance of geographic area, geographic South X is a geographic subregion of X, and geographic North X is a geographic subregion of X, then geographic South X is south of to geographic North X |
(=>
(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 ?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 |
(<=>
(orientation ?OBJ1 ?OBJ2 Southeast)
(and
(orientation ?OBJ1 ?OBJ2 South)
(orientation ?OBJ1 ?OBJ2 East))) |
Geography.kif 5092-5096 |
X is southeast of to Y if, only if X is south of to Y, and X is east of to Y |
(<=>
(orientation ?OBJ1 ?OBJ2 Southwest)
(and
(orientation ?OBJ1 ?OBJ2 South)
(orientation ?OBJ1 ?OBJ2 West))) |
Geography.kif 5104-5108 |
X is southwest of to Y if, only if X is south of to Y, and X is west of to Y |
(<=>
(courseWRTTrueNorth ?OBJ1 ?OBJ2
(MeasureFn 180.0 AngularDegree))
(orientation ?OBJ1 ?OBJ2 South)) |
Geography.kif 5167-5169 |
X courseWRT true north Y for 180.0 angular degree(s) if and only if X is south 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 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 |
(=>
(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 |
South