Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| TropicOfCapricorn(Tropic of Capricorn) |
| appearance as argument number 1 |
|
| (instance TropicOfCapricorn CirclesOfLatitude) | Geography.kif 1623-1623 | Tropic of Capricorn is an instance of equator |
| (documentation TropicOfCapricorn EnglishLanguage "The TropicOfCapricorn is the circle of Latitude that contains the subsolar point at the December (or southern) solstice. It is thus the southernmost latitude where the Sun can be seen directly overhead. It also reaches 90 degrees below the horizon at solar midnight on the June Solstice. Its northern equivalent is the TropicOfCancer. The Tropic of Capricorn is one of the five major circles of latitude marked on maps of Earth. Its latitude is currently, 23 September 2025, 23°26′09.4″ (or 23.43595°)[1] south of the Equator, but it is very gradually moving northward, currently at the rate of 0.47 arcseconds, or 15 metres, per year.[Wikipedia]") | Geography.kif 1625-1631 | Tropic of Capricorn is an instance of equator |
| (equal TropicOfCapricorn (LatitudeFn South (MeasureFn 23.0 AngularDegree) (MeasureFn 26.0 ArcMinute) (MeasureFn 9.4 ArcSecond))) |
Geography.kif 1633-1637 | equal Tropic of Capricorn and the region south of of 23.0 angular degree(s) |
| appearance as argument number 2 |
|
|
|