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 1882-1887
(domain elevation 1 Object)	Geography.kif 1879-1879	The number 1 argument of elevation is an instance of object
(domain elevation 2 LengthMeasure)	Geography.kif 1880-1880	The number 2 argument of elevation is an instance of length measure
(instance elevation BinaryPredicate)	Geography.kif 1878-1878	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 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	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 unit of length 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 1895-1900	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) (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	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 real number an unit of measure(s) is an elevation of the elevation high point of the geographic area, then there don't exist another geographic area and another real number 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 real number the unit of measure(s) is an elevation of the other geographic area and the other real number is greater than the real number
(=> (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	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 an unit of measure is an instance of unit of length and a real number the unit of measure(s) is an elevation of the elevation low point of the geographic area, then there don't exist another geographic area and another real number 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 real number the unit of measure(s) is an elevation of the other geographic area and the other real number is less than the real number
(=> (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	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 an unit of measure is an instance of unit of length and a real number the unit of measure(s) is an elevation of the object, then there exists an entity such that the entity the unit of measure(s) is an elevation of the object and the entity is less than the real number holds during immediately after the time of existence of the process
(=> (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	If an object is an instance of wind flow and another object is an instance of object and the object is partly located in the other object and a real number foot length(s) is an elevation of the object and the real number is less than or equal to 500.0 and the measure of the object is a length measure per a time duration, then the length measure per the time duration is a surface wind speed of the other object
(=> (elevation ?OBJECT ?HEIGHT) (exists (?DATUM) (and (properPart ?DATUM SeaLevel) (orientation ?OBJECT ?DATUM Vertical) (distance ?OBJECT ?DATUM ?HEIGHT))))	Geography.kif 1902-1908	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 1889-1894	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) (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	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 real number an unit of measure(s) is an elevation of the elevation high point of the geographic area, then there don't exist another geographic area and another real number 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 real number the unit of measure(s) is an elevation of the other geographic area and the other real number is greater than the real number
(=> (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	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 an unit of measure is an instance of unit of length and a real number the unit of measure(s) is an elevation of the elevation low point of the geographic area, then there don't exist another geographic area and another real number 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 real number the unit of measure(s) is an elevation of the other geographic area and the other real number is less than the real number
(=> (and (instance ?MEASURE Measuring) (patient ?MEASURE ?OBJ) (surface ?OBJ PlanetEarth) (result ?MEASURE ?QUANTITY) (instrument ?MEASURE ?BAROMETER) (instance ?BAROMETER BarometricAltimeter)) (elevation ?OBJ ?QUANTITY))	MilitaryDevices.kif 1645-1653	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) (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	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 an unit of measure is an instance of unit of length and a real number the unit of measure(s) is an elevation of the object, then there exists an entity such that the entity the unit of measure(s) is an elevation of the object and the entity is less than the real number holds during immediately after the time of existence of the process
(=> (and (instance ?ocean Ocean) (surface ?top ?ocean)) (elevation ?top (MeasureFn 0.0 FootLength)))	Geography.kif 4933-4938	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.0 foot length(s) is an elevation of the other self connected object
(=> (and (instance ?ocean Ocean) (surface ?top ?ocean)) (elevation ?top (MeasureFn 0.0 Meter)))	Geography.kif 4926-4931	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.0 meter(s) is an elevation of the other self connected object
(=> (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.0 Meter))))))	Weather.kif 2248-2258	If a process is an instance of surface wind speed measuring, then there exist an object and another object such that the object is an instance of geographic area and the other object is an instance of device and the process is located at the object and the other object is an instrument for the process and 10.0 meter(s) is an elevation of the other object holds during the time of existence of the process

appearance as argument number 0

(elevation (ElevationHighPointFn SouthernOcean) (MeasureFn 0.0 Meter))	Geography.kif 4753-4755	0.0 Meter(s) is an elevation of the elevation high point of southern ocean
(elevation (ElevationLowPointFn SouthernOcean) (MeasureFn -7235.0 Meter))	Geography.kif 4757-4759	-7235.0 Meter(s) is an elevation of the elevation low point of southern ocean
(elevation SeaLevel (MeasureFn 0.0 Meter))	Geography.kif 4923-4924	0.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 3.0 is open source software produced by Articulate Software and its partners