| 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 1865-1870 | |
| (domain elevation 1 Object) | Geography.kif 1862-1862 | |
| (domain elevation 2 LengthMeasure) | Geography.kif 1863-1863 | |
| (instance elevation BinaryPredicate) | Geography.kif 1861-1861 |
| 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 21807-21807 | |
| (termFormat ChineseTraditionalLanguage elevation "海拔") | domainEnglishFormat.kif 21806-21806 | |
| (termFormat EnglishLanguage elevation "elevation") | domainEnglishFormat.kif 21805-21805 |
| 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 1893-1901 | |
| (=> (and (elevation ?OBJECT ?HEIGHT) (located ?OBJECT ?PLACE) (instance ?PLACE GeographicArea)) (superficialPart ?PLACE PlanetEarth)) |
Geography.kif 1878-1883 | |
| (=> (and (instance ?AREA GeographicArea) (geographicSubregion (ElevationHighPointFn ?AREA) ?AREA) (elevation (ElevationHighPointFn ?AREA) ?ELEV1)) (not (exists (?OTHER ?ELEV2) (and (geographicSubregion ?OTHER ?AREA) (not (equal ?OTHER (ElevationHighPointFn ?AREA))) (elevation ?OTHER ?ELEV2) (greaterThan ?ELEV2 ?ELEV1))))) |
Geography.kif 1935-1946 | |
| (=> (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 1911-1925 | |
| (=> (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 6309-6322 | |
| (=> (and (instance ?ZEPHYR WindFlow) (instance ?PLACE Object) (partlyLocated ?ZEPHYR ?PLACE) (elevation ?ZEPHYR (MeasureFn ?X FootLength)) (lessThanOrEqualTo ?X 500) (measure ?ZEPHYR (SpeedFn ?DIST ?TIME))) (surfaceWindSpeed ?PLACE (SpeedFn ?DIST ?TIME))) |
Weather.kif 148-157 | |
| (=> (elevation ?OBJECT ?HEIGHT) (exists (?DATUM) (and (properPart ?DATUM SeaLevel) (orientation ?OBJECT ?DATUM Vertical) (distance ?OBJECT ?DATUM ?HEIGHT)))) |
Geography.kif 1885-1891 | |
| (=> (elevation ?OBJECT ?HEIGHT) (exists (?PLACE) (and (instance ?PLACE GeographicArea) (located ?OBJECT ?PLACE)))) |
Geography.kif 1872-1877 |
| consequent |
|
|
| (=> (and (instance ?AREA GeographicArea) (geographicSubregion (ElevationHighPointFn ?AREA) ?AREA) (elevation (ElevationHighPointFn ?AREA) ?ELEV1)) (not (exists (?OTHER ?ELEV2) (and (geographicSubregion ?OTHER ?AREA) (not (equal ?OTHER (ElevationHighPointFn ?AREA))) (elevation ?OTHER ?ELEV2) (greaterThan ?ELEV2 ?ELEV1))))) |
Geography.kif 1935-1946 | |
| (=> (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 1911-1925 | |
| (=> (and (instance ?MEASURE Measuring) (patient ?MEASURE ?OBJ) (surface ?OBJ PlanetEarth) (result ?MEASURE ?QUANTITY) (instrument ?MEASURE ?BAROMETER) (instance ?BAROMETER BarometricAltimeter)) (elevation ?OBJ ?QUANTITY)) |
MilitaryDevices.kif 1488-1496 | |
| (=> (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 6309-6322 | |
| (=> (and (instance ?ocean Ocean) (surface ?top ?ocean)) (elevation ?top (MeasureFn 0 FootLength))) |
Geography.kif 4624-4628 | |
| (=> (and (instance ?ocean Ocean) (surface ?top ?ocean)) (elevation ?top (MeasureFn 0 Meter))) |
Geography.kif 4618-4622 | |
| (=> (instance ?M SurfaceWindSpeedMeasuring) (exists (?PLACE ?TOOL) (and (instance ?PLACE GeographicArea) (instance ?TOOL Device) (eventLocated ?M ?PLACE) (instrument ?M ?TOOL) (holdsDuring (WhenFn ?M) (elevation ?TOOL (MeasureFn 10 Meter)))))) |
Weather.kif 1731-1741 |
| appearance as argument number 0 |
|
|
| (elevation (ElevationHighPointFn SouthernOcean) (MeasureFn 0 Meter)) |
Geography.kif 4485-4485 | |
| (elevation (ElevationLowPointFn SouthernOcean) (MeasureFn -7235 Meter)) |
Geography.kif 4486-4486 | |
| (elevation SeaLevel (MeasureFn 0 Meter)) |
Geography.kif 4616-4616 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners