![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
SouthernOcean
|
|
|
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| statement |
|
|
| (objectGeographicCoordinates (GeographicCenterFn SouthernOcean) (LatitudeFn South (MeasureFn 65.0 AngularDegree) (MeasureFn 0.0 ArcMinute)) (LongitudeFn East (MeasureFn 0.0 AngularDegree) (MeasureFn 0.0 ArcMinute))) |
Geography.kif 6204-6211 | The geographic center of southern ocean is object geographic coordinates the region south of of 65.0 angular degree(s) for the meridian at 0.0 angular degree(s) east of |
| (length (ShorelineFn SouthernOcean Antarctica) (MeasureFn 17968.0 (KiloFn Meter))) |
Geography.kif 6213-6216 | The length of the shoreline of southern ocean and antarctica is 17968.0 1 thousand meters(s) |
| (elevation (ElevationHighPointFn SouthernOcean) (MeasureFn 0.0 Meter)) |
Geography.kif 6225-6227 | 0.0 Meter(s) is an elevation of the elevation high point of southern ocean |
| (elevation (ElevationLowPointFn SouthernOcean) (MeasureFn -7235.0 Meter)) |
Geography.kif 6229-6231 | -7235.0 Meter(s) is an elevation of the elevation low point of southern ocean |