South - Sigma Knowledge base Browser

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	South is an instance of directional attribute

appearance as argument number 2

(contraryAttribute North South East West)	Merge.kif 17187-17187	North is the opposite of south
(oppositeDirection North South)	Mid-level-ontology.kif 19704-19704	South is an opposite direction of north
(termFormat ChineseLanguage South "南")	domainEnglishFormat.kif 54040-54040	South is an opposite direction of north
(termFormat ChineseTraditionalLanguage South "南")	domainEnglishFormat.kif 54039-54039	South is an opposite direction of north
(termFormat EnglishLanguage South "south")	domainEnglishFormat.kif 54038-54038	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 419-419	Idaho is south to British Columbia
(orientation MediterraneanSea GulfOfLion South)	Geography.kif 5415-5415	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 421-421	Montana is south to British Columbia
(orientation Sahel SaharaDesert South)	Geography.kif 6937-6937	Sahel is south to Sahara Desert
(orientation Spain SouthernFrance South)	Geography.kif 343-343	Spain is south to Southern France
(orientation Washington BritishColumbia South)	Geography.kif 417-417	Washington is south to British Columbia

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 570-577

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 3864-3866	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 17193-17195	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 3789-3793	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 3801-3805	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 ?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 3720-3740	If an object is an instance of geographic area and the object is located at another object and the other object is an instance of 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 ?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	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
(=> (instance (LatitudeFn ?DIRECTION @ROW) Region) (or (equal ?DIRECTION North) (equal ?DIRECTION South)))	Geography.kif 558-562	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 SouthPole (LatitudeFn South (MeasureFn 90 AngularDegree)))	Geography.kif 3997-4000	equal South Pole and the region south of 90 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 4869-4876	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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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

KB Term:			Term intersection

English Word: