Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Equator(equator) |
| appearance as argument number 1 |
|
| (instance Equator CirclesOfLatitude) | Geography.kif 1574-1574 | Equator is an instance of equator |
| (documentation Equator EnglishLanguage "The Equator is the circle of Latitude that divides Earth into the Northern and Southern hemispheres. It is an imaginary line located at 0 degrees latitude, about 40,075 km (24,901 mi) in circumference, halfway between the North and South poles. [Wikipedia]") | Geography.kif 1576-1579 | Equator is an instance of equator |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Equator "equator") | Geography.kif 1575-1575 |
| antecedent |
|
|
| (=> (equal Equator (LatitudeFn ?DIR (MeasureFn 0 AngularDegree))) (or (equal ?DIR North) (equal ?DIR South))) |
Geography.kif 1581-1587 | If equal equator and the region X of 0 angular degree(s), then equal X and north of or equal X and south of |
|