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 15832-15832
(externalImage South "http://www.adampease.org/Articulate/SUMOpictures/pictures/ tools/ miscellaneous/ compass.png")	pictureList.kif 1995-1995
(instance South DirectionalAttribute)	Merge.kif 15831-15831	instance South and DirectionalAttribute

appearance as argument number 2

(contraryAttribute North South East West)	Merge.kif 15828-15828	contraryAttribute North, South, East and West
(oppositeDirection North South)	Mid-level-ontology.kif 15853-15853	oppositeDirection North and South
(termFormat ChineseLanguage South "南")	domainEnglishFormat.kif 53950-53950
(termFormat ChineseTraditionalLanguage South "南")	domainEnglishFormat.kif 53949-53949
(termFormat EnglishLanguage South "south")	domainEnglishFormat.kif 53948-53948

appearance as argument number 3

(orientation CaribbeanRegion NorthAmerica South)	Geography.kif 290-290	orientation CaribbeanRegion, NorthAmerica and South
(orientation MiddleAmerica NorthAmerica South)	Geography.kif 288-288	orientation MiddleAmerica, NorthAmerica and South

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

equal DirectionalAttribute and North equal DirectionalAttribute and South
length LatitudeFn DirectionalAttribute, MeasureFn 0 and AngularDegree, MeasureFn 1 and ArcMinute and MeasureFn 0 and ArcSecond and MeasureFn 1 and NauticalMile

consequent

(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 180 AngularDegree)) (orientation ?OBJ1 ?OBJ2 South))	Geography.kif 3577-3579	courseWRTTrueNorth Object, Object and MeasureFn 180 and AngularDegree orientation Object, Object and South
(<=> (orientation ?OBJ1 ?OBJ2 North) (orientation ?OBJ2 ?OBJ1 South))	Merge.kif 15834-15836	orientation Object, Object and North orientation Object, Object and South
(<=> (orientation ?OBJ1 ?OBJ2 Southeast) (and (orientation ?OBJ1 ?OBJ2 South) (orientation ?OBJ1 ?OBJ2 East)))	Geography.kif 3502-3506	orientation Object, Object and Southeast orientation Object, Object and South orientation Object, Object and East
(<=> (orientation ?OBJ1 ?OBJ2 Southwest) (and (orientation ?OBJ1 ?OBJ2 South) (orientation ?OBJ1 ?OBJ2 West)))	Geography.kif 3514-3518	orientation Object, Object and Southwest orientation Object, Object and South orientation Object, Object and West
(=> (and (instance ?LAND Continent) (not (equal ?LAND Antarctica))) (orientation Antarctica ?LAND South))	Geography.kif 292-296	instance Object and Continent equal Object and Antarctica orientation Antarctica, Object and South
(=> (instance (LatitudeFn ?DIRECTION @ROW) Region) (or (equal ?DIRECTION North) (equal ?DIRECTION South)))	Geography.kif 421-425	instance LatitudeFn DirectionalAttribute and @ROW and Region equal DirectionalAttribute and North equal DirectionalAttribute and South

statement

(located FrenchSouthernAndAntarcticLands (DirectionalSubregionFn South IndianOcean))	CountriesAndRegions.kif 588-588	located FrenchSouthernAndAntarcticLands and DirectionalSubregionFn South and IndianOcean
(objectGeographicCoordinates (GeographicCenterFn SouthernOcean) (LatitudeFn South (MeasureFn 65 AngularDegree) (MeasureFn 0 ArcMinute)) (LongitudeFn East (MeasureFn 0 AngularDegree) (MeasureFn 0 ArcMinute)))	Geography.kif 4390-4392	objectGeographicCoordinates GeographicCenterFn SouthernOcean, LatitudeFn South, MeasureFn 65 and AngularDegree and MeasureFn 0 and ArcMinute and LongitudeFn East, MeasureFn 0 and AngularDegree and MeasureFn 0 and ArcMinute

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: