|
|
  -7235.0
|
|
|
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4687-4689 | -7235.0 Meter(s) is an elevation of the elevation low point of southern ocean |
|
|
|