Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| AntarcticCircle(Antarctic Circle) |
| appearance as argument number 1 |
|
| (instance AntarcticCircle CirclesOfLatitude) | Geography.kif 1639-1639 | Antarctic Circle is an instance of equator |
| (documentation AntarcticCircle EnglishLanguage "The AntarcticCircle is the most southerly of the five major circles of latitude that mark maps of Earth. The region south of this circle is known as the Antarctic. The position of the AntarcticCircle is not fixed and, not taking account of the nutation, currently, 23 September 2025, runs 66°33′50.6″ south of the Equator. [Wikipedia]") | Geography.kif 1641-1645 | Antarctic Circle is an instance of equator |
| (equal AntarcticCircle (LatitudeFn South (MeasureFn 66.0 AngularDegree) (MeasureFn 33.0 ArcMinute) (MeasureFn 50.6 ArcSecond))) |
Geography.kif 1647-1651 | equal Antarctic Circle and the region south of of 66.0 angular degree(s) |
| appearance as argument number 2 |
|
|
| (relatedInternalConcept ArcticCircle AntarcticCircle) | Geography.kif 1599-1599 | Arctic Circle is internally related to Antarctic Circle |
| (termFormat EnglishLanguage AntarcticCircle "Antarctic Circle") | Geography.kif 1640-1640 | Arctic Circle is internally related to Antarctic Circle |
| (located SouthPole AntarcticCircle) | Geography.kif 5301-5301 | South Pole is located at Antarctic Circle |
|