elevation - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - elevation

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 1847-1852
(domain elevation 1 Object)	Geography.kif 1844-1844	The number 1 argument of elevation is an instance of object
(domain elevation 2 LengthMeasure)	Geography.kif 1845-1845	The number 2 argument of elevation is an instance of length measure
(instance elevation BinaryPredicate)	Geography.kif 1843-1843	elevation is an instance of binary predicate

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 21739-21739
(termFormat ChineseTraditionalLanguage elevation "海拔")	domainEnglishFormat.kif 21738-21738
(termFormat EnglishLanguage elevation "elevation")	domainEnglishFormat.kif 21737-21737

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	If a real number an unit of measure(s) is an elevation of a self connected object and the unit of measure is an instance of UnitOfLength and the self connected object is an instance of land form, then there exists another self connected object such that the top of the self connected object is the other self connected object and the distance between the other self connected object and sea level is the real number the unit of measure(s)
(=> (and (elevation ?OBJECT ?HEIGHT) (located ?OBJECT ?PLACE) (instance ?PLACE GeographicArea)) (superficialPart ?PLACE PlanetEarth))	Geography.kif 1860-1865	If a length measure is an elevation of an object and the object is located at another object and the other object is an instance of geographic area, then the other object is a superficial part of planet earth
(=> (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	If a geographic area is an instance of geographic area and the elevation high point of the geographic area is a geographic subregion of the geographic area and a length measure is an elevation of the elevation high point of the geographic area, then there don't exist another geographic area and another length measure such that the other geographic area is a geographic subregion of the geographic area and the other geographic area is not equal to the elevation high point of the geographic area and the other length measure is an elevation of the other geographic area and the other length measure is greater than the length measure
(=> (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	If a geographic area is an instance of geographic area and the elevation low point of the geographic area is a geographic subregion of the geographic area and a length measure is an elevation of the elevation low point of the geographic area, then there don't exist another geographic area and another length measure such that the other geographic area is a geographic subregion of the geographic area and the other geographic area is not equal to the elevation low point of the geographic area and the other length measure is an elevation of the other geographic area and the other length measure is less than the length measure
(=> (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	If a process is an instance of land subsidence and an object is a patient of the process and the object is an instance of land area and a length measure is an elevation of the object, then there exists an entity such that the entity is an elevation of the object and the entity is less than the length measure holds during immediately after the time of existence of the process
(=> (elevation ?OBJECT ?HEIGHT) (exists (?DATUM) (and (properPart ?DATUM SeaLevel) (orientation ?OBJECT ?DATUM Vertical) (distance ?OBJECT ?DATUM ?HEIGHT))))	Geography.kif 1867-1873	If a length measure is an elevation of an object, then there exists another object such that the other object is a proper part of sea level and the object is vertical to the other object and the distance between the object and the other object is the length measure
(=> (elevation ?OBJECT ?HEIGHT) (exists (?PLACE) (and (instance ?PLACE GeographicArea) (located ?OBJECT ?PLACE))))	Geography.kif 1854-1859	If a length measure is an elevation of an object, then there exists another object such that the other object is an instance of geographic area and the object is located at the other object

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	If a geographic area is an instance of geographic area and the elevation high point of the geographic area is a geographic subregion of the geographic area and a length measure is an elevation of the elevation high point of the geographic area, then there don't exist another geographic area and another length measure such that the other geographic area is a geographic subregion of the geographic area and the other geographic area is not equal to the elevation high point of the geographic area and the other length measure is an elevation of the other geographic area and the other length measure is greater than the length measure
(=> (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	If a geographic area is an instance of geographic area and the elevation low point of the geographic area is a geographic subregion of the geographic area and a length measure is an elevation of the elevation low point of the geographic area, then there don't exist another geographic area and another length measure such that the other geographic area is a geographic subregion of the geographic area and the other geographic area is not equal to the elevation low point of the geographic area and the other length measure is an elevation of the other geographic area and the other length measure is less than the length measure
(=> (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	If a process is an instance of measuring and a self connected object is a patient of the process and the self connected object is a surface of planet earth and a length measure is a result of the process and an object is an instrument for the process and the object is an instance of barometric altimeter, then the length measure is an elevation of the self connected object
(=> (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	If a process is an instance of land subsidence and an object is a patient of the process and the object is an instance of land area and a length measure is an elevation of the object, then there exists an entity such that the entity is an elevation of the object and the entity is less than the length measure holds during immediately after the time of existence of the process
(=> (and (instance ?ocean Ocean) (surface ?top ?ocean)) (elevation ?top (MeasureFn 0 FootLength)))	Geography.kif 4524-4528	If a self connected object is an instance of ocean and another self connected object is a surface of the self connected object, then 0 foot length(s) is an elevation of the other self connected object
(=> (and (instance ?ocean Ocean) (surface ?top ?ocean)) (elevation ?top (MeasureFn 0 Meter)))	Geography.kif 4518-4522	If a self connected object is an instance of ocean and another self connected object is a surface of the self connected object, then 0 meter(s) is an elevation of the other self connected object

appearance as argument number 0

(elevation (ElevationHighPointFn SouthernOcean) (MeasureFn 0 Meter))	Geography.kif 4400-4400	0 Meter(s) is an elevation of the elevation high point of southern ocean
(elevation (ElevationLowPointFn SouthernOcean) (MeasureFn -7235 Meter))	Geography.kif 4401-4401	-7235 Meter(s) is an elevation of the elevation low point of southern ocean
(elevation SeaLevel (MeasureFn 0 Meter))	Geography.kif 4516-4516	0 Meter(s) is an elevation of sea level

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