Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ArcticCircle(Arctic Circle) |
| appearance as argument number 1 |
|
| (instance ArcticCircle CirclesOfLatitude) | Geography.kif 1589-1589 | Arctic Circle is an instance of equator |
| (relatedInternalConcept ArcticCircle AntarcticCircle) | Geography.kif 1599-1599 | Arctic Circle is internally related to Antarctic Circle |
| (equal ArcticCircle (LatitudeFn North (MeasureFn 66.0 AngularDegree) (MeasureFn 33.0 ArcMinute) (MeasureFn 50.6 ArcSecond))) |
Geography.kif 1601-1605 | equal Arctic Circle and the region north of of 66.0 angular degree(s) |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ArcticCircle "Arctic Circle") | Geography.kif 1590-1590 | |
| (located NorthPole ArcticCircle) | Geography.kif 5263-5263 | North Pole is located at Arctic Circle |
|