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 15805-15805
(externalImage South "http://www.adampease.org/Articulate/SUMOpictures/pictures/ tools/ miscellaneous/ compass.png")	pictureList.kif 1995-1995
(instance South DirectionalAttribute)	Merge.kif 15804-15804	South is an instance of directional attribute

appearance as argument number 2

(contraryAttribute North South East West)	Merge.kif 15801-15801	North is the opposite of south
(oppositeDirection North South)	Mid-level-ontology.kif 15828-15828	South is an opposite direction of north
(termFormat ChineseLanguage South "南")	domainEnglishFormat.kif 53929-53929
(termFormat ChineseTraditionalLanguage South "南")	domainEnglishFormat.kif 53928-53928
(termFormat EnglishLanguage South "south")	domainEnglishFormat.kif 53927-53927

appearance as argument number 3

(orientation CaribbeanRegion NorthAmerica South)	Geography.kif 290-290	Caribbean region is south to north america
(orientation MiddleAmerica NorthAmerica South)	Geography.kif 288-288	Middle america is south to north america

antecedent

(=>
    (or
        (equal ?DIRECTION North)
        (equal ?DIRECTION South))
    (length
        (LatitudeFn ?DIRECTION
            (MeasureFn 0 AngularDegree)
            (MeasureFn 1 ArcMinute)
            (MeasureFn 0 ArcSecond))
        (MeasureFn 1 NauticalMile)))

Geography.kif 433-440

If a directional attribute is equal to north or the directional attribute is equal to south,
then the length of the region the directional attribute of 0 angular degree(s) is 1 nautical mile(s)

consequent

(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 180 AngularDegree)) (orientation ?OBJ1 ?OBJ2 South))	Geography.kif 3577-3579	An object courseWRT true north another object for 180 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 15807-15809	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 3502-3506	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 3514-3518	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 the object is not equal to antarctica, then antarctica is south to the object
(=> (instance (LatitudeFn ?DIRECTION @ROW) Region) (or (equal ?DIRECTION North) (equal ?DIRECTION South)))	Geography.kif 421-425	If the region a directional attribute of @ROW is an instance of region, then the directional attribute is equal to north or the directional attribute is equal to south

statement

(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 AngularDegree) (MeasureFn 0 ArcMinute)) (LongitudeFn East (MeasureFn 0 AngularDegree) (MeasureFn 0 ArcMinute)))	Geography.kif 4390-4392	The geographic center of southern ocean is object geographic coordinates the region south of 65 angular degree(s) for the meridian at 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: