|
|
  South
|
|
|
| appearance as argument number 1 |
|
|
| (documentation South ChineseLanguage "这是罗盘方向 South.") | chinese_format.kif 3805-3805 | |
| (documentation South EnglishLanguage "The compass direction of South.") | Merge.kif 17191-17191 | |
| (externalImage South "http://articulatesoftware.com/SUMOpictures/tools/miscellaneous/ compass.png") | pictureList.kif 1993-1993 | |
| (instance South DirectionalAttribute) | Merge.kif 17190-17190 |
| appearance as argument number 2 |
|
|
| (contraryAttribute North South East West) | Merge.kif 17187-17187 | |
| (oppositeDirection North South) | Mid-level-ontology.kif 19704-19704 | |
| (termFormat ChineseLanguage South "南") | domainEnglishFormat.kif 54040-54040 | |
| (termFormat ChineseTraditionalLanguage South "南") | domainEnglishFormat.kif 54039-54039 | |
| (termFormat EnglishLanguage South "south") | domainEnglishFormat.kif 54038-54038 |
| appearance as argument number 3 |
|
|
| (orientation CaribbeanRegion NorthAmerica South) | Geography.kif 290-290 | |
| (orientation Idaho BritishColumbia South) | Geography.kif 452-452 | |
| (orientation MediterraneanSea GulfOfLion South) | Geography.kif 5448-5448 | |
| (orientation MiddleAmerica NorthAmerica South) | Geography.kif 288-288 | |
| (orientation Montana BritishColumbia South) | Geography.kif 454-454 | |
| (orientation Sahel SaharaDesert South) | Geography.kif 6970-6970 | |
| (orientation Spain SouthernFrance South) | Geography.kif 343-343 | |
| (orientation Washington BritishColumbia South) | Geography.kif 450-450 |
| antecedent |
|
|
| (=> (and (instance ?W PuelcheWind) (eventLocated ?W ?A) (geographicSubregion ?A Chile) (orientation ?A SantiagoChile South)) (holdsDuring (WhenFn ?W) (surfaceWindDirection ?A East))) |
Weather.kif 1772-1780 | |
| (=> (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 603-610 |
| consequent |
|
|
| (<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 180.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 South)) |
Geography.kif 3897-3899 | |
| (<=> (orientation ?OBJ1 ?OBJ2 North) (orientation ?OBJ2 ?OBJ1 South)) |
Merge.kif 17193-17195 | |
| (<=> (orientation ?OBJ1 ?OBJ2 Southeast) (and (orientation ?OBJ1 ?OBJ2 South) (orientation ?OBJ1 ?OBJ2 East))) |
Geography.kif 3822-3826 | |
| (<=> (orientation ?OBJ1 ?OBJ2 Southwest) (and (orientation ?OBJ1 ?OBJ2 South) (orientation ?OBJ1 ?OBJ2 West))) |
Geography.kif 3834-3838 | |
| (=> (and (instance ?LAND Continent) (not (equal ?LAND Antarctica))) (orientation Antarctica ?LAND South)) |
Geography.kif 292-296 | |
| (=> (and (instance ?PLACE GeographicArea) (located ?PLACE ?T) (instance ?T 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 11.5 ArcSecond))) (instance ?DIR DirectionalAttribute) (or (equal ?DIR North) (equal ?DIR South))))) |
Geography.kif 3753-3773 | |
| (=> (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 611-630 | |
| (=> (instance (LatitudeFn ?DIRECTION @ROW) Region) (or (equal ?DIRECTION North) (equal ?DIRECTION South))) |
Geography.kif 591-595 |
| statement |
|
|
| (equal SouthPole (LatitudeFn South (MeasureFn 90 AngularDegree))) |
Geography.kif 4030-4033 | |
| (located FrenchSouthernAndAntarcticLands (DirectionalSubregionFn South IndianOcean)) |
CountriesAndRegions.kif 588-588 | |
| (objectGeographicCoordinates (GeographicCenterFn SouthernOcean) (LatitudeFn South (MeasureFn 65.0 AngularDegree) (MeasureFn 0.0 ArcMinute)) (LongitudeFn East (MeasureFn 0.0 AngularDegree) (MeasureFn 0.0 ArcMinute))) |
Geography.kif 4902-4909 |
|
|
|
