| 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 1835-1840 | |
| (domain elevation 1 Object) | Geography.kif 1832-1832 | domain elevation, 1 and オブジェクト |
| (domain elevation 2 LengthMeasure) | Geography.kif 1833-1833 | domain elevation, 2 and 長さ測定 |
| (instance elevation BinaryPredicate) | Geography.kif 1831-1831 | instance elevation and 2進述語 |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage elevation "%2 is %n an elevation of %1") | domainEnglishFormat.kif 231-231 | |
| (termFormat EnglishLanguage elevation "elevation") | domainEnglishFormat.kif 4057-4057 | termFormat EnglishLanguage, elevation and "elevation" |
| 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 1863-1871 |
|
| (=> (and (elevation ?OBJECT ?HEIGHT) (located ?OBJECT ?PLACE) (instance ?PLACE GeographicArea)) (superficialPart ?PLACE PlanetEarth)) |
Geography.kif 1848-1853 | |
| (=> (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 1902-1913 | |
| (=> (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 1881-1892 | |
| (=> (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 6104-6114 | |
| (=> (elevation ?OBJECT ?HEIGHT) (exists (?DATUM) (and (properPart ?DATUM SeaLevel) (orientation ?OBJECT ?DATUM Vertical) (distance ?OBJECT ?DATUM ?HEIGHT)))) |
Geography.kif 1855-1861 | |
| (=> (elevation ?OBJECT ?HEIGHT) (exists (?PLACE) (and (instance ?PLACE GeographicArea) (located ?OBJECT ?PLACE)))) |
Geography.kif 1842-1847 |
| consequent |
|
|
| appearance as argument number 0 |
|
|
| (elevation (ElevationHighPointFn SouthernOcean) (MeasureFn 0 Meter)) |
Geography.kif 4387-4387 | elevation ElevationHighPointFn SouthernOcean and MeasureFn 0 and Meter |
| (elevation (ElevationLowPointFn SouthernOcean) (MeasureFn -7235 Meter)) |
Geography.kif 4388-4388 | elevation ElevationLowPointFn SouthernOcean and MeasureFn -7235 and Meter |
| (elevation SeaLevel (MeasureFn 0 Meter)) |
Geography.kif 4502-4502 | elevation SeaLevel and MeasureFn 0 and Meter |
|
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