Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 16986-16986
(externalImage South " compass.png") pictureList.kif 1994-1994
(instance South DirectionalAttribute) Merge.kif 16985-16985 South is an instance of directional attribute

appearance as argument number 2

(contraryAttribute North South East West) Merge.kif 16982-16982 North is the opposite of south
(oppositeDirection North South) Mid-level-ontology.kif 18082-18082 South is an opposite direction of north
(termFormat ChineseLanguage South "南") domainEnglishFormat.kif 54048-54048
(termFormat ChineseTraditionalLanguage South "南") domainEnglishFormat.kif 54047-54047
(termFormat EnglishLanguage South "south") domainEnglishFormat.kif 54046-54046

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


        (equal ?DIRECTION North)
        (equal ?DIRECTION South))
        (LatitudeFn ?DIRECTION
            (MeasureFn 0.0 AngularDegree)
            (MeasureFn 1.0 ArcMinute)
            (MeasureFn 0.0 ArcSecond))
        (MeasureFn 1.0 NauticalMile)))
Geography.kif 433-440


    (courseWRTTrueNorth ?OBJ1 ?OBJ2
        (MeasureFn 180.0 AngularDegree))
    (orientation ?OBJ1 ?OBJ2 South))
Geography.kif 3739-3741 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 16988-16990 An object is north to another object if and only if the other object is south to the object
    (orientation ?OBJ1 ?OBJ2 Southeast)
        (orientation ?OBJ1 ?OBJ2 South)
        (orientation ?OBJ1 ?OBJ2 East)))
Geography.kif 3664-3668 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)
        (orientation ?OBJ1 ?OBJ2 South)
        (orientation ?OBJ1 ?OBJ2 West)))
Geography.kif 3676-3680 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
        (instance ?LAND Continent)
            (equal ?LAND Antarctica)))
    (orientation Antarctica ?LAND South))
Geography.kif 292-296
        (instance ?PLACE GeographicArea)
        (located ?PLACE ?T)
        (instance ?T Tropics))
    (exists (?NUM1 ?LONG ?DIR ?NUM2 ?U)
            (objectGeographicCoordinates ?PLACE
                (MeasureFn ?NUM1 ?U) ?LONG)
            (instance ?U UnitOfAngularMeasure)
            (lessThan ?NUM1 ?NUM2)
                (MeasureFn ?NUM2 ?U)
                (LatitudeFn ?DIR
                    (MeasureFn 23.0 AngularDegree)
                    (MeasureFn 26.0 ArcMinute)
                    (MeasureFn 11.5 ArcSecond)))
            (instance ?DIR DirectionalAttribute)
                (equal ?DIR North)
                (equal ?DIR South)))))
Geography.kif 3595-3615
        (instance ?TC TropicalCyclonicSystem)
        (origin ?TC ?SEA)
            (instance ?SEA NorthAtlanticOcean)
            (instance ?SEA PacificOcean)
            (instance ?SEA IndianOcean)))
        (exists (?AREA ?DIR ?NUM ?LONG)
                (located ?AREA ?SEA)
                (instance ?DIR DirectionalAttribute)
                (objectGeographicCoordinates ?AREA
                    (LatitudeFn ?DIR
                        (MeasureFn ?NUM AngularDegree)) ?LONG)
                    (equal ?DIR North)
                    (equal ?DIR South))
                (lessThan ?NUM 5.0)))))
Weather.kif 627-646
        (LatitudeFn ?DIRECTION @ROW) Region)
        (equal ?DIRECTION North)
        (equal ?DIRECTION South)))
Geography.kif 421-425


(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
    (GeographicCenterFn SouthernOcean)
    (LatitudeFn South
        (MeasureFn 65.0 AngularDegree)
        (MeasureFn 0.0 ArcMinute))
    (LongitudeFn East
        (MeasureFn 0.0 AngularDegree)
        (MeasureFn 0.0 ArcMinute)))
Geography.kif 4640-4647 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