SeaLevel
|
|
appearance as argument number 1 |
(documentation SeaLevel EnglishLanguage "SeaLevel designates the global Mean Sea Surface (MSS). Note that SeaLevel represents a GeographicArea that comprises all the local Mean Sea Level (MSL) areas used as references for measuring altitude. In fact, there are local variations in MSL, due to tides and long- and short- term weather conditions.") | Geography.kif 4815-4819 | |
(elevation SeaLevel (MeasureFn 0.0 Meter)) |
Geography.kif 4827-4828 | |
(externalImage SeaLevel "http://upload.wikimedia.org/wikipedia/commons/6/ 68/ Geosat_Sea_Level_Deviation_Winter_1987-88.gif") | pictureList.kif 3191-3191 | |
(externalImage SeaLevel "http://upload.wikimedia.org/wikipedia/commons/c/ c6/ Well_below_sea_level.jpg") | pictureList.kif 3189-3189 | |
(externalImage SeaLevel "http://upload.wikimedia.org/wikipedia/commons/c/ c8/ Death_Valley%2C19820817%2CFurnace_Creek%2Csea_level.jpg") | pictureList.kif 3190-3190 | |
(instance SeaLevel GeographicArea) | Geography.kif 4814-4814 |
appearance as argument number 2 |
(termFormat ChineseLanguage SeaLevel "海平面") | domainEnglishFormat.kif 51701-51701 | |
(termFormat ChineseTraditionalLanguage SeaLevel "海平面") | domainEnglishFormat.kif 51700-51700 | |
(termFormat EnglishLanguage SeaLevel "sea level") | domainEnglishFormat.kif 51699-51699 |
consequent |
(=> (and (elevation ?OBJECT (MeasureFn ?NUM ?UNIT)) (instance ?UNIT UnitOfLength) (instance ?OBJECT LandForm)) (exists (?HIGHPOINT) (and (top ?HIGHPOINT ?OBJECT) (distance ?HIGHPOINT SeaLevel (MeasureFn ?NUM ?UNIT))))) |
Geography.kif 1922-1930 | |
(=> (and (instance ?MEASURE Measuring) (patient ?MEASURE ?OBJ) (result ?MEASURE ?QUANTITY) (instrument ?MEASURE ?BAROMETER) (instance ?BAROMETER BarometricAltimeter)) (altitude ?OBJ SeaLevel ?QUANTITY)) |
MilitaryDevices.kif 1477-1484 | |
(=> (and (instance ?SEA Sea) (top ?TOP ?SEA)) (altitude ?TOP SeaLevel (MeasureFn 0.0 FootLength))) |
Geography.kif 4772-4777 | |
(=> (and (instance ?SEA Sea) (top ?TOP ?SEA)) (altitude ?TOP SeaLevel (MeasureFn 0.0 Meter))) |
Geography.kif 4765-4770 | |
(=> (elevation ?OBJECT ?HEIGHT) (exists (?DATUM) (and (properPart ?DATUM SeaLevel) (orientation ?OBJECT ?DATUM Vertical) (distance ?OBJECT ?DATUM ?HEIGHT)))) |
Geography.kif 1914-1920 |