elevation |
appearance as argument number 1 |
![]() |
(documentation elevation EnglishLanguage "(elevation ?OBJECT ?HEIGHT) means that the physical Object ?OBJECT is located on the surface of PlanetEarth at the vertical distance ?HEIGHT above (or below, for a negative quantity) SeaLevel. ?OBJECT may be a superficialPart of Earth's surface, such as a GeographicArea. Elevation is measured from SeaLevel to the vertical top of the object.") | Geography.kif 1882-1887 | |
(domain elevation 1 Object) | Geography.kif 1879-1879 | elevation の数値 1 引数は オブジェクト の instance では |
(domain elevation 2 LengthMeasure) | Geography.kif 1880-1880 | elevation の数値 2 引数は 長さ測定 の instance では |
(instance elevation BinaryPredicate) | Geography.kif 1878-1878 | elevation は 2進述語 の instance では |
appearance as argument number 2 |
![]() |
(format ChineseLanguage elevation "%2 %n 是 %1 的 elevation ") | domainEnglishFormat.kif 891-891 | |
(format ChineseTraditionalLanguage elevation "%2 %n 是 %1 的 elevation ") | domainEnglishFormat.kif 890-890 | |
(format EnglishLanguage elevation "%2 is %n an elevation of %1") | domainEnglishFormat.kif 889-889 | |
(termFormat ChineseLanguage elevation "海拔") | domainEnglishFormat.kif 21819-21819 | |
(termFormat ChineseTraditionalLanguage elevation "海拔") | domainEnglishFormat.kif 21818-21818 | |
(termFormat EnglishLanguage elevation "elevation") | domainEnglishFormat.kif 21817-21817 |
antecedent |
![]() |
(=> (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 1910-1918 |
|
(=> (and (elevation ?OBJECT ?HEIGHT) (located ?OBJECT ?PLACE) (instance ?PLACE GeographicArea)) (superficialPart ?PLACE PlanetEarth)) |
Geography.kif 1895-1900 | |
(=> (and (instance ?AREA GeographicArea) (geographicSubregion (ElevationHighPointFn ?AREA) ?AREA) (elevation (ElevationHighPointFn ?AREA) (MeasureFn ?ELEV1 ?UNIT))) (not (exists (?OTHER ?ELEV2) (and (geographicSubregion ?OTHER ?AREA) (not (equal ?OTHER (ElevationHighPointFn ?AREA))) (elevation ?OTHER (MeasureFn ?ELEV2 ?UNIT)) (greaterThan ?ELEV2 ?ELEV1))))) |
Geography.kif 1952-1963 | |
(=> (and (instance ?AREA GeographicArea) (geographicSubregion (ElevationLowPointFn ?AREA) ?AREA) (instance ?U UnitOfLength) (elevation (ElevationLowPointFn ?AREA) (MeasureFn ?ELEV1 ?U))) (not (exists (?OTHER ?ELEV2) (and (geographicSubregion ?OTHER ?AREA) (not (equal ?OTHER (ElevationLowPointFn ?AREA))) (elevation ?OTHER (MeasureFn ?ELEV2 ?U)) (lessThan ?ELEV2 ?ELEV1))))) |
Geography.kif 1928-1942 |
|
(=> (and (instance ?SINKING LandSubsidence) (patient ?SINKING ?LAND) (instance ?LAND LandArea) (instance ?U UnitOfLength) (elevation ?LAND (MeasureFn ?HEIGHT1 ?U))) (holdsDuring (ImmediateFutureFn (WhenFn ?SINKING)) (exists (?HEIGHT2) (and (elevation ?LAND (MeasureFn ?HEIGHT2 ?U)) (lessThan ?HEIGHT2 ?HEIGHT1))))) |
Geography.kif 6945-6958 | |
(=> (and (instance ?ZEPHYR WindFlow) (instance ?PLACE Object) (partlyLocated ?ZEPHYR ?PLACE) (elevation ?ZEPHYR (MeasureFn ?X FootLength)) (lessThanOrEqualTo ?X 500.0) (measure ?ZEPHYR (SpeedFn ?DIST ?TIME))) (surfaceWindSpeed ?PLACE (SpeedFn ?DIST ?TIME))) |
Weather.kif 136-145 | |
(=> (elevation ?OBJECT ?HEIGHT) (exists (?DATUM) (and (properPart ?DATUM SeaLevel) (orientation ?OBJECT ?DATUM Vertical) (distance ?OBJECT ?DATUM ?HEIGHT)))) |
Geography.kif 1902-1908 | |
(=> (elevation ?OBJECT ?HEIGHT) (exists (?PLACE) (and (instance ?PLACE GeographicArea) (located ?OBJECT ?PLACE)))) |
Geography.kif 1889-1894 |
consequent |
![]() |
appearance as argument number 0 |
![]() |
(elevation (ElevationHighPointFn SouthernOcean) (MeasureFn 0.0 Meter)) |
Geography.kif 4753-4755 | elevation ElevationHighPointFn SouthernOcean and 0.0 の Meter(s) |
(elevation (ElevationLowPointFn SouthernOcean) (MeasureFn -7235.0 Meter)) |
Geography.kif 4757-4759 | elevation ElevationLowPointFn SouthernOcean and -7235.0 の Meter(s) |
(elevation SeaLevel (MeasureFn 0.0 Meter)) |
Geography.kif 4923-4924 | elevation SeaLevel and 0.0 の Meter(s) |
![]() |
![]() |