![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation South ChineseLanguage "这是罗盘方向 South.") | chinese_format.kif 3805-3805 | |
(documentation South EnglishLanguage "The compass direction of South.") | Merge.kif 16748-16748 | |
(externalImage South "http://www.adampease.org/Articulate/SUMOpictures/pictures/ tools/ miscellaneous/ compass.png") | pictureList.kif 1995-1995 | |
(instance South DirectionalAttribute) | Merge.kif 16747-16747 |
appearance as argument number 2 |
![]() |
(contraryAttribute North South East West) | Merge.kif 16744-16744 | |
(oppositeDirection North South) | Mid-level-ontology.kif 17542-17542 | |
(termFormat ChineseLanguage South "南") | domainEnglishFormat.kif 54015-54015 | |
(termFormat ChineseTraditionalLanguage South "南") | domainEnglishFormat.kif 54014-54014 | |
(termFormat EnglishLanguage South "south") | domainEnglishFormat.kif 54013-54013 |
appearance as argument number 3 |
![]() |
(orientation CaribbeanRegion NorthAmerica South) | Geography.kif 290-290 | |
(orientation MiddleAmerica NorthAmerica South) | Geography.kif 288-288 |
antecedent |
![]() |
(=> (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 433-440 |
consequent |
![]() |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 180.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 South)) |
Geography.kif 3661-3663 | |
(<=> (orientation ?OBJ1 ?OBJ2 North) (orientation ?OBJ2 ?OBJ1 South)) |
Merge.kif 16750-16752 | |
(<=> (orientation ?OBJ1 ?OBJ2 Southeast) (and (orientation ?OBJ1 ?OBJ2 South) (orientation ?OBJ1 ?OBJ2 East))) |
Geography.kif 3586-3590 | |
(<=> (orientation ?OBJ1 ?OBJ2 Southwest) (and (orientation ?OBJ1 ?OBJ2 South) (orientation ?OBJ1 ?OBJ2 West))) |
Geography.kif 3598-3602 | |
(=> (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 3517-3537 | |
(=> (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 627-646 | |
(=> (instance (LatitudeFn ?DIRECTION @ROW) Region) (or (equal ?DIRECTION North) (equal ?DIRECTION South))) |
Geography.kif 421-425 |
statement |
![]() |
(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 4561-4568 |
![]() |
![]() |