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



KB Term:  Term intersection
English Word: 

Sigma KEE - SouthPole
SouthPole(South Pole)

appearance as argument number 1
-------------------------


(instance SouthPole GeographicArea) Geography.kif 5294-5294 South Pole is an instance of geographic area
(documentation SouthPole EnglishLanguage "The SouthPole is the southernmost point on Earth and lies antipodally on the opposite side of Earth from the NorthPole, at a distance of 20,004 km (12,430 miles) in all directions. It is one of the two points where Earth's axis of rotation intersects its surface.The South Pole is the center of the Southern Hemisphere.[Wikipedia]") Geography.kif 5295-5299 South Pole is an instance of geographic area
(located SouthPole AntarcticCircle) Geography.kif 5301-5301 South Pole is located at Antarctic Circle
(geographicSubregion SouthPole Antarctica) Geography.kif 5302-5302 South Pole is a geographic subregion of antarctica
(orientation SouthPole AntarticCircle South) Geography.kif 5303-5303 South Pole is south of to AntarticCircle
(equal SouthPole
    (LatitudeFn South
        (MeasureFn 90 AngularDegree)))
Geography.kif 5314-5317 equal South Pole and the region south of of 90 angular degree(s)

appearance as argument number 2
-------------------------


(relatedInternalConcept NorthPole SouthPole) Geography.kif 5261-5261 North Pole is internally related to South Pole
(termFormat EnglishLanguage SouthPole "South Pole") Geography.kif 5300-5300 North Pole is internally related to South Pole

antecedent
-------------------------


(=>
    (and
        (verticalAxis ?X PlanetEarth)
        (instance ?R Rotating)
        (rotationalAxis ?R ?X)
        (betweenOnPath NorthPole ?C SouthPole ?X))
    (centerOfMass ?C PlanetEarth))
Geography.kif 5276-5282 If X is the verticalAxis of planet earth, Y is an instance of rotating, X is the axis of Y, and Z is between North Pole and South Pole on path X, then Z is the centerOfMass of planet earth


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners