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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - SouthernOcean

appearance as argument number 1

(comparativeArea SouthernOcean greaterThan 2 UnitedStates) Geography.kif 4394-4394 comparativeArea SouthernOcean, greaterThan, 2 and UnitedStates
(documentation SouthernOcean EnglishLanguage "SouthernOcean represents the Southern Ocean.") Geography.kif 4382-4383
(externalImage SouthernOcean " pictures/ geography/ Country_Maps/ S/ Southern_Ocean.png") pictureList.kif 750-750
(geographicSubregion SouthernOcean SouthernHemisphere) Geography.kif 4385-4385 geographicSubregion SouthernOcean and SouthernHemisphere
(instance SouthernOcean Ocean) Geography.kif 4379-4379 instance SouthernOcean and Ocean
(instance SouthernOcean PolarClimateZone) Geography.kif 4398-4398 instance SouthernOcean and PolarClimateZone
(naturalHazardTypeInArea SouthernOcean CyclonicStorm) Geography.kif 4395-4395 naturalHazardTypeInArea SouthernOcean and CyclonicStorm
(naturalHazardTypeInArea SouthernOcean Iceberg) Geography.kif 4396-4396 naturalHazardTypeInArea SouthernOcean and Iceberg
(naturalHazardTypeInArea SouthernOcean SeaIce) Geography.kif 4397-4397 naturalHazardTypeInArea SouthernOcean and SeaIce
(partlyLocated SouthernOcean EasternHemisphere) Geography.kif 4386-4386 partlyLocated SouthernOcean and EasternHemisphere
(partlyLocated SouthernOcean WesternHemisphere) Geography.kif 4387-4387 partlyLocated SouthernOcean and WesternHemisphere
(totalArea SouthernOcean
    (MeasureFn 20327000 SquareKilometer))
Geography.kif 4389-4389 totalArea SouthernOcean and MeasureFn 20327000 and SquareKilometer

appearance as argument number 2

(connected IndianOcean SouthernOcean) Geography.kif 4362-4362 connected IndianOcean and SouthernOcean
(geographicSubregion SouthSandwichTrench SouthernOcean) Geography.kif 4404-4404 geographicSubregion SouthSandwichTrench and SouthernOcean
(located AntarcticCircumpolarCurrent SouthernOcean) Geography.kif 4407-4407 located AntarcticCircumpolarCurrent and SouthernOcean
(names "Southern Ocean" SouthernOcean) Geography.kif 4380-4380 names "Southern Ocean" and SouthernOcean
(termFormat ChineseLanguage SouthernOcean "南部海洋") domainEnglishFormat.kif 54133-54133
(termFormat ChineseTraditionalLanguage SouthernOcean "南部海洋") domainEnglishFormat.kif 54132-54132
(termFormat EnglishLanguage SouthernOcean "southern ocean") domainEnglishFormat.kif 54131-54131


    (ElevationHighPointFn SouthernOcean)
    (MeasureFn 0 Meter))
Geography.kif 4400-4400 elevation ElevationHighPointFn SouthernOcean and MeasureFn 0 and Meter
    (ElevationLowPointFn SouthernOcean)
    (MeasureFn -7235 Meter))
Geography.kif 4401-4401 elevation ElevationLowPointFn SouthernOcean and MeasureFn -7235 and Meter
    (ShorelineFn SouthernOcean Antarctica)
    (MeasureFn 17968
        (KiloFn Meter)))
Geography.kif 4393-4393 length ShorelineFn SouthernOcean and Antarctica and MeasureFn 17968 and KiloFn Meter
    (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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners