| 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 1847-1852 | |
| (domain elevation 1 Object) | Geography.kif 1844-1844 | |
| (domain elevation 2 LengthMeasure) | Geography.kif 1845-1845 | |
| (instance elevation BinaryPredicate) | Geography.kif 1843-1843 |
| 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 21745-21745 | |
| (termFormat ChineseTraditionalLanguage elevation "海拔") | domainEnglishFormat.kif 21744-21744 | |
| (termFormat EnglishLanguage elevation "elevation") | domainEnglishFormat.kif 21743-21743 |
| 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 1875-1883 | |
| (=> (and (elevation ?OBJECT ?HEIGHT) (located ?OBJECT ?PLACE) (instance ?PLACE GeographicArea)) (superficialPart ?PLACE PlanetEarth)) |
Geography.kif 1860-1865 | |
| (=> (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 1914-1925 | |
| (=> (and (instance ?AREA GeographicArea) (geographicSubregion (ElevationLowPointFn ?AREA) ?AREA) (elevation (ElevationLowPointFn ?AREA) ?ELEV1)) (not (exists (?OTHER ?ELEV2) (and (geographicSubregion ?OTHER ?AREA) (not (equal ?OTHER (ElevationLowPointFn ?AREA))) (elevation ?OTHER ?ELEV2) (lessThan ?ELEV2 ?ELEV1))))) |
Geography.kif 1893-1904 | |
| (=> (and (instance ?SINKING LandSubsidence) (patient ?SINKING ?LAND) (instance ?LAND LandArea) (elevation ?LAND ?HEIGHT1)) (holdsDuring (ImmediateFutureFn (WhenFn ?SINKING)) (exists (?HEIGHT2) (and (elevation ?LAND ?HEIGHT2) (lessThan ?HEIGHT2 ?HEIGHT1))))) |
Geography.kif 6120-6130 | |
| (=> (elevation ?OBJECT ?HEIGHT) (exists (?DATUM) (and (properPart ?DATUM SeaLevel) (orientation ?OBJECT ?DATUM Vertical) (distance ?OBJECT ?DATUM ?HEIGHT)))) |
Geography.kif 1867-1873 | |
| (=> (elevation ?OBJECT ?HEIGHT) (exists (?PLACE) (and (instance ?PLACE GeographicArea) (located ?OBJECT ?PLACE)))) |
Geography.kif 1854-1859 |
| 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 1914-1925 | |
| (=> (and (instance ?AREA GeographicArea) (geographicSubregion (ElevationLowPointFn ?AREA) ?AREA) (elevation (ElevationLowPointFn ?AREA) ?ELEV1)) (not (exists (?OTHER ?ELEV2) (and (geographicSubregion ?OTHER ?AREA) (not (equal ?OTHER (ElevationLowPointFn ?AREA))) (elevation ?OTHER ?ELEV2) (lessThan ?ELEV2 ?ELEV1))))) |
Geography.kif 1893-1904 | |
| (=> (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) (elevation ?LAND ?HEIGHT1)) (holdsDuring (ImmediateFutureFn (WhenFn ?SINKING)) (exists (?HEIGHT2) (and (elevation ?LAND ?HEIGHT2) (lessThan ?HEIGHT2 ?HEIGHT1))))) |
Geography.kif 6120-6130 | |
| (=> (and (instance ?ocean Ocean) (surface ?top ?ocean)) (elevation ?top (MeasureFn 0 FootLength))) |
Geography.kif 4524-4528 | |
| (=> (and (instance ?ocean Ocean) (surface ?top ?ocean)) (elevation ?top (MeasureFn 0 Meter))) |
Geography.kif 4518-4522 |
| appearance as argument number 0 |
|
|
| (elevation (ElevationHighPointFn SouthernOcean) (MeasureFn 0 Meter)) |
Geography.kif 4400-4400 | |
| (elevation (ElevationLowPointFn SouthernOcean) (MeasureFn -7235 Meter)) |
Geography.kif 4401-4401 | |
| (elevation SeaLevel (MeasureFn 0 Meter)) |
Geography.kif 4516-4516 |
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners