Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  NorthPole
|
|
|
| appearance as argument number 1 |
|
|
| (instance NorthPole GeographicArea) | Geography.kif 5250-5250 | North Pole is an instance of geographic area |
| (documentation NorthPole EnglishLanguage "The NorthPole is the point in the Northern Hemisphere where the Earth's axis of rotation meets its surface.The North Pole is by definition the northernmost point on the Earth, lying antipodally to the South Pole. It defines geodetic latitude 90° North, as well as the direction of true north. At the North Pole all directions point south; all lines of longitude converge there, so its longitude can be defined as any degree value. No time zone has been assigned to the North Pole, so any time can be used as the local time. Along tight latitude circles, counterclockwise is east and clockwise is west. The North Pole is at the center of the Northern Hemisphere. [Wikipedia]") | Geography.kif 5251-5259 | North Pole is an instance of geographic area |
| (relatedInternalConcept NorthPole SouthPole) | Geography.kif 5261-5261 | North Pole is internally related to South Pole |
| (relatedInternalConcept NorthPole headingWRTTrueNorth) | Geography.kif 5262-5262 | North Pole is internally related to headingWRT true north |
| (located NorthPole ArcticCircle) | Geography.kif 5263-5263 | North Pole is located at Arctic Circle |
| (geographicSubregion NorthPole ArcticRegion) | Geography.kif 5264-5264 | North Pole is a geographic subregion of arctic region |
| (orientation NorthPole ArticCircle North) | Geography.kif 5265-5265 | North Pole is north of to ArticCircle |
| (equal NorthPole (LatitudeFn North (MeasureFn 90 AngularDegree))) |
Geography.kif 5284-5287 | equal North Pole and the region north of of 90 angular degree(s) |
| appearance as argument number 2 |
|
|
| (relatedInternalConcept MagneticDeclinationFn NorthPole) | Geography.kif 5211-5211 | Magnetic declination is internally related to North Pole |
| (termFormat EnglishLanguage NorthPole "North Pole") | Geography.kif 5260-5260 | Magnetic declination is internally related to North 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 |
|