TreeView Knowledge Base Browser - South

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language: Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - South

South(south)

S, austral, due_south, in_the_south, meridional, south, south-central, south_side, southbound, southerly, southern, southernmost, southernness, southmost, southward, southwards, to_the_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 17213-17213
(externalImage South "http://articulatesoftware.com/SUMOpictures/tools/miscellaneous/ compass.png")	pictureList.kif 1993-1993
(instance South DirectionalAttribute)	Merge.kif 17212-17212	South is an instance of directional attribute

appearance as argument number 2

(contraryAttribute North South East West)	Merge.kif 17209-17209	North is the opposite of south
(oppositeDirection North South)	Mid-level-ontology.kif 19690-19690	South is an opposite direction of north
(termFormat ChineseLanguage South "南")	domainEnglishFormat.kif 54039-54039	South is an opposite direction of north
(termFormat ChineseTraditionalLanguage South "南")	domainEnglishFormat.kif 54038-54038	South is an opposite direction of north
(termFormat EnglishLanguage South "south")	domainEnglishFormat.kif 54037-54037	South is an opposite direction of north

appearance as argument number 3

(orientation CaribbeanRegion NorthAmerica South)	Geography.kif 290-290	Caribbean region is south to north america
(orientation Idaho BritishColumbia South)	Geography.kif 1531-1531	Idaho is south to British Columbia
(orientation MediterraneanSea GulfOfLion South)	Geography.kif 6760-6760	Mediterranean sea is south to Gulf Of Lion
(orientation MiddleAmerica NorthAmerica South)	Geography.kif 288-288	Middle america is south to north america
(orientation Montana BritishColumbia South)	Geography.kif 1533-1533	Montana is south to British Columbia
(orientation PeninsularRanges TransverseRanges South)	Geography.kif 1306-1306	Peninsular Ranges is south to Transverse Ranges
(orientation Sahel SaharaDesert South)	Geography.kif 8282-8282	Sahel is south to Sahara Desert
(orientation Spain SouthernFrance South)	Geography.kif 343-343	Spain is south to Southern France
(orientation TransverseRanges CaliforniaCoastRanges South)	Geography.kif 1291-1291	Transverse Ranges is south to California Coast Ranges
(orientation Washington BritishColumbia South)	Geography.kif 1529-1529	Washington is south to British Columbia

antecedent

(=> (and (instance ?A PointInSpace) (instance ?B PointInSpace) (located ?A AndesMountains) (located ?B AndesMountains) (orientation ?A ?B North) (not (exists (?A1 ?B1) (and (instance ?A1 PointInSpace) (located ?A1 AndesMountains) (orientation ?A1 ?A North) (instance ?B1 PointInSpace) (located ?B1 AndesMountains) (orientation ?B1 ?B South)))) (distance ?A ?B (MeasureFn ?X Mile))) (approximateValue ?X 5500))	Geography.kif 1436-1454	If an object is an instance of point in space and another object is an instance of point in space and the object is located at Andes Mountains and the other object is located at Andes Mountains and the object is north to the other object and there don't exist the object1 and the other object1 such that the object1 is an instance of point in space and the object1 is located at Andes Mountains and the object1 is north to the object and the other object1 is an instance of point in space and the other object1 is located at Andes Mountains and the other object1 is south to the other object and the distance between the object and the other object is a real number mile(s), then the approximate value of the real number is 5500
(=> (and (instance ?A PointInSpace) (instance ?B PointInSpace) (located ?A CaliforniaCoastRanges) (located ?B CaliforniaCoastRanges) (orientation ?A ?B North) (not (exists (?A1 ?B1) (and (instance ?A1 PointInSpace) (located ?A1 CaliforniaCoastRanges) (orientation ?A1 ?A North) (instance ?B1 PointInSpace) (located ?B1 CaliforniaCoastRanges) (orientation ?B1 ?B South)))) (distance ?A ?B (MeasureFn ?X Mile))) (approximateValue ?X 400))	Geography.kif 443-461	If an object is an instance of point in space and another object is an instance of point in space and the object is located at California Coast Ranges and the other object is located at California Coast Ranges and the object is north to the other object and there don't exist the object1 and the other object1 such that the object1 is an instance of point in space and the object1 is located at California Coast Ranges and the object1 is north to the object and the other object1 is an instance of point in space and the other object1 is located at California Coast Ranges and the other object1 is south to the other object and the distance between the object and the other object is a real number mile(s), then the approximate value of the real number is 400
(=> (and (instance ?A PointInSpace) (instance ?B PointInSpace) (located ?A PeninsularRanges) (located ?B PeninsularRanges) (orientation ?A ?B North) (not (exists (?A1 ?B1) (and (instance ?A1 PointInSpace) (located ?A1 PeninsularRanges) (orientation ?A1 ?A North) (instance ?B1 PointInSpace) (located ?B1 PeninsularRanges) (orientation ?B1 ?B South)))) (distance ?A ?B (MeasureFn ?X Mile))) (approximateValue ?X 930))	Geography.kif 1308-1326	If an object is an instance of point in space and another object is an instance of point in space and the object is located at Peninsular Ranges and the other object is located at Peninsular Ranges and the object is north to the other object and there don't exist the object1 and the other object1 such that the object1 is an instance of point in space and the object1 is located at Peninsular Ranges and the object1 is north to the object and the other object1 is an instance of point in space and the other object1 is located at Peninsular Ranges and the other object1 is south to the other object and the distance between the object and the other object is a real number mile(s), then the approximate value of the real number is 930
(=> (and (instance ?A PointInSpace) (instance ?B PointInSpace) (located ?A RockyMountains) (located ?B RockyMountains) (orientation ?A ?B North) (not (exists (?A1 ?B1) (and (instance ?A1 PointInSpace) (located ?A1 RockyMountains) (orientation ?A1 ?A North) (instance ?B1 PointInSpace) (located ?B1 RockyMountains) (orientation ?B1 ?B South)))) (distance ?A ?B (MeasureFn ?X Mile))) (approximateValue ?X 3000))	Geography.kif 377-395	If an object is an instance of point in space and another object is an instance of point in space and the object is located at Rocky Mountains and the other object is located at Rocky Mountains and the object is north to the other object and there don't exist the object1 and the other object1 such that the object1 is an instance of point in space and the object1 is located at Rocky Mountains and the object1 is north to the object and the other object1 is an instance of point in space and the other object1 is located at Rocky Mountains and the other object1 is south to the other object and the distance between the object and the other object is a real number mile(s), then the approximate value of the real number is 3000
(=> (and (instance ?A PointInSpace) (instance ?B PointInSpace) (located ?A SierraNevada) (located ?B SierraNevada) (orientation ?A ?B North) (not (exists (?A1 ?B1) (and (instance ?A1 PointInSpace) (located ?A1 SierraNevada) (orientation ?A1 ?A North) (instance ?B1 PointInSpace) (located ?B1 SierraNevada) (orientation ?B1 ?B South)))) (distance ?A ?B (MeasureFn ?X Mile))) (approximateValue ?X 400))	Geography.kif 1338-1356	If an object is an instance of point in space and another object is an instance of point in space and the object is located at Sierra Nevada and the other object is located at Sierra Nevada and the object is north to the other object and there don't exist the object1 and the other object1 such that the object1 is an instance of point in space and the object1 is located at Sierra Nevada and the object1 is north to the object and the other object1 is an instance of point in space and the other object1 is located at Sierra Nevada and the other object1 is south to the other object and the distance between the object and the other object is a real number mile(s), then the approximate value of the real number is 400
(=> (and (instance ?R GeographicArea) (tangentialProperPart ?R KlamathMountains) (tangentialProperPart ?R CaliforniaCoastRanges) (instance ?N PointInSpace) (located ?N ?R) (instance ?S PointInSpace) (located ?S ?R) (orientation ?N ?S North) (not (exists (?N1 ?S1) (and (instance ?N1 PointInSpace) (located ?N1 ?R) (orientation ?N1 ?N North) (instance ?S1 PointInSpace) (located ?S1 ?R) (orientation ?S1 ?S South)))) (distance ?N ?S (MeasureFn ?X Mile))) (approximateValue ?X 80))	Geography.kif 562-583	If a region is an instance of geographic area and the region is a tangentialProperPart of Klamath Mountains and the region is a tangentialProperPart of California Coast Ranges and an object is an instance of point in space and the object is located at the region and another object is an instance of point in space and the other object is located at the region and the object is north to the other object and there don't exist the object1 and the other object1 such that the object1 is an instance of point in space and the object1 is located at the region and the object1 is north to the object and the other object1 is an instance of point in space and the other object1 is located at the region and the other object1 is south to the other object and the distance between the object and the other object is a real number mile(s), then the approximate value of the real number is 80
(=> (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 874-887	If an object is an instance of region and the object is located at Nino 1+2 and the object is object geographic coordinates the region south of a real number angular degree(s) for the meridian at another real number angular degree(s) west, then the real number is greater than or equal to 0 and the real number is less than or equal to 10 and the other real number is greater than or equal to 80 and the other real number is less than or equal to 90
(=> (and (instance ?W PuelcheWind) (eventLocated ?W ?A) (geographicSubregion ?A Chile) (orientation ?A SantiagoChile South)) (holdsDuring (WhenFn ?W) (surfaceWindDirection ?A East)))	Weather.kif 2232-2240	If a process is an instance of Puelche wind and the process is located at a geographic area and the geographic area is a geographic subregion of chile and the geographic area is south to santiago chile, then east is a surface wind direction of the geographic area holds during the time of existence of the process
(=> (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 1913-1920	If equal a directional attribute and north or equal the directional attribute and south, then the length of the region the directional attribute of 0.0 angular degree(s) is 1.0 nautical mile(s)

consequent

(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 180.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 South))	Geography.kif 5209-5211	An object courseWRT true north another object for 180.0 angular degree(s) if and only if the object is south to the other object
(<=> (orientation ?OBJ1 ?OBJ2 North) (orientation ?OBJ2 ?OBJ1 South))	Merge.kif 17215-17217	An object is north to another object if and only if the other object is south to the object
(<=> (orientation ?OBJ1 ?OBJ2 Southeast) (and (orientation ?OBJ1 ?OBJ2 South) (orientation ?OBJ1 ?OBJ2 East)))	Geography.kif 5134-5138	An object is southeast to another object if and only if the object is south to the other object and the object is east to the other object
(<=> (orientation ?OBJ1 ?OBJ2 Southwest) (and (orientation ?OBJ1 ?OBJ2 South) (orientation ?OBJ1 ?OBJ2 West)))	Geography.kif 5146-5150	An object is southwest to another object if and only if the object is south to the other object and the object is west to the other object
(=> (and (instance ?LAND Continent) (not (equal ?LAND Antarctica))) (orientation Antarctica ?LAND South))	Geography.kif 292-296	If an object is an instance of continent and equal the object and antarctica, then antarctica is south to the object
(=> (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 5063-5082	If an object is an instance of geographic area and the object is located at tropics, then there exist a real number, a longitude,, , a directional attribute,, , another real number and an unit of measure such that the object is object geographic coordinates the real number the unit of measure(s) for the longitude and the unit of measure is an instance of unit of angular measure and the real number is less than the other real number and equal the other real number the unit of measure(s) and the region the directional attribute of 23.0 angular degree(s) and the directional attribute is an instance of directional attribute and equal the directional attribute and north or equal the directional attribute and south
(=> (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 an object is an instance of region and the object is located at Nino 3 and the object is object geographic coordinates the region a directional attribute of a real number angular degree(s) for the meridian at another real number angular degree(s) west, then equal the directional attribute and north or equal the directional attribute and south and the real number is less than or equal to 5 and the other real number is greater than or equal to 90 and the other real number 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 an object is an instance of region and the object is located at Nino 3.4 and the object is object geographic coordinates the region a directional attribute of a real number angular degree(s) for the meridian at another real number angular degree(s) west, then equal the directional attribute and north or equal the directional attribute and south and the real number is less than or equal to 5 and the other real number is greater than or equal to 120 and the other real number is less than or equal to 170
(=> (and (instance ?REGION GeographicArea) (geographicSubregion (GeographicSouthFn ?REGION) ?REGION) (geographicSubregion (GeographicNorthFn ?REGION) ?REGION)) (orientation (GeographicSouthFn ?REGION) (GeographicNorthFn ?REGION) South))	Geography.kif 1753-1758	If a geographic area is an instance of geographic area and geographic South the geographic area is a geographic subregion of the geographic area and geographic North the geographic area is a geographic subregion of the geographic area, then geographic South the geographic area is south to geographic North the geographic area
(=> (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 a process is an instance of tropical cyclonic system and the process originates at an object and the object is an instance of north atlantic ocean or the object is an instance of pacific ocean or the object is an instance of indian ocean, then there don't exist another object, a directional attribute,, , a real number and a longitude such that the other object is located at the object and the directional attribute is an instance of directional attribute and the other object is object geographic coordinates the region the directional attribute of the real number angular degree(s) for the longitude and equal the directional attribute and north or equal the directional attribute and south and the real number is less than 5.0
(=> (equal Equator (LatitudeFn ?DIR (MeasureFn 0 AngularDegree))) (or (equal ?DIR North) (equal ?DIR South)))	Geography.kif 1581-1587	If equal equator and the region a directional attribute of 0 angular degree(s), then equal the directional attribute and north or equal the directional attribute and south
(=> (instance (LatitudeFn ?DIRECTION @ROW) Region) (or (equal ?DIRECTION North) (equal ?DIRECTION South)))	Geography.kif 1901-1905	If the region a directional attribute of @ROW is an instance of region, then equal the directional attribute and north or equal the directional attribute and south

statement

(equal AntarticCircle (LatitudeFn South (MeasureFn 66.0 AngularDegree) (MeasureFn 33.0 ArcMinute) (MeasureFn 50.6 ArcSecond)))	Geography.kif 1647-1651	equal Antartic Circle and the region south of 66.0 angular degree(s)
(equal SouthPole (LatitudeFn South (MeasureFn 90 AngularDegree)))	Geography.kif 5342-5345	equal South Pole and the region south of 90 angular degree(s)
(equal TropicOfCapricorn (LatitudeFn South (MeasureFn 23.0 AngularDegree) (MeasureFn 26.0 ArcMinute) (MeasureFn 9.4 ArcSecond)))	Geography.kif 1633-1637	equal Tropic of Capricorn and the region south of 23.0 angular degree(s)
(located FrenchSouthernAndAntarcticLands (DirectionalSubregionFn South IndianOcean))	CountriesAndRegions.kif 588-588	French southern and antarctic lands is located at the directional subregion of south and indian ocean
(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 6214-6221	The geographic center of southern ocean is object geographic coordinates the region south of 65.0 angular degree(s) for the meridian at 0.0 angular degree(s) east

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners