Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| elevation |
| appearance as argument number 1 |
|
| (instance elevation BinaryPredicate) | Geography.kif 3341-3341 | elevation is an instance of binary predicate |
| (domain elevation 1 Object) | Geography.kif 3342-3342 | The number 1 argument of elevation is an instance of object |
| (domain elevation 2 LengthMeasure) | Geography.kif 3343-3343 | The number 2 argument of elevation is an instance of length measure |
| (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 3345-3350 | The number 2 argument of elevation is an instance of length measure |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage elevation "%2 is %n an elevation of %1") | domainEnglishFormat.kif 889-889 | |
| (format ChineseTraditionalLanguage elevation "%2 %n 是 %1 的 elevation ") | domainEnglishFormat.kif 890-890 | |
| (format ChineseLanguage elevation "%2 %n 是 %1 的 elevation ") | domainEnglishFormat.kif 891-891 | |
| (termFormat EnglishLanguage elevation "elevation") | domainEnglishFormat.kif 21810-21810 | |
| (termFormat ChineseTraditionalLanguage elevation "海拔") | domainEnglishFormat.kif 21811-21811 | |
| (termFormat ChineseLanguage elevation "海拔") | domainEnglishFormat.kif 21812-21812 |
| antecedent |
|
|
| (=> (elevation ?OBJECT ?HEIGHT) (exists (?PLACE) (and (instance ?PLACE GeographicArea) (located ?OBJECT ?PLACE)))) |
Geography.kif 3352-3357 | If X is an elevation of Y, then there exists Z such that Z is an instance of geographic area and Y is located at Z |
| (=> (and (elevation ?OBJECT ?HEIGHT) (located ?OBJECT ?PLACE) (instance ?PLACE GeographicArea)) (superficialPart ?PLACE PlanetEarth)) |
Geography.kif 3358-3363 | If X is an elevation of Y, Y is located at Z, and Z is an instance of geographic area, then Z is a superficial part of planet earth |
| (=> (elevation ?OBJECT ?HEIGHT) (exists (?DATUM) (and (properPart ?DATUM SeaLevel) (orientation ?OBJECT ?DATUM Vertical) (distance ?OBJECT ?DATUM ?HEIGHT)))) |
Geography.kif 3365-3371 | If X is an elevation of Y, then there exists Z such that Z is a proper part of sea level, Y is vertical to to Z, the distance between Y, and Z is X |
| (=> (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 3373-3381 | If X Y(s) is an elevation of Z, Y is an instance of unit of length, and Z is an instance of land form, then there exists W such that the top of Z is W and the distance between W and sea level is X Y(s) |
| (=> (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 3391-3405 | If X is an instance of geographic area, the elevation low point of X is a geographic subregion of X, Y is an instance of unit of length, and Z Y(s) is an elevation of the elevation low point of X, then there don't exist W and V such that W is a geographic subregion of X and equal W and the elevation low point of X and V Y(s) is an elevation of W and V is less than Z |
| (=> (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 3415-3426 | If X is an instance of geographic area, the elevation high point of X is a geographic subregion of X, and Y Z(s) is an elevation of the elevation high point of X, then there don't exist W and V such that W is a geographic subregion of X and equal W and the elevation high point of X and V Z(s) is an elevation of W and V is greater than Y |
| (=> (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 8443-8456 | If X is an instance of land subsidence, Y is a patient of X, Y is an instance of land area, Z is an instance of unit of length, and W Z(s) is an elevation of Y, then there exists V such that V Z(s) is an elevation of Y and V is less than W holds during immediately after the time of existence of X |
| (=> (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 All of the following hold: (1) X is an instance of wind flow (2) Y is an instance of object (3) X is partly located in Y (4) Z foot length(s) is an elevation of X (5) Z is less than or equal to 500.0 (6) the measure of X is W per V, then W per V is a surface wind speed of Y |
| consequent |
|
|
| (=> (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 3391-3405 | If X is an instance of geographic area, the elevation low point of X is a geographic subregion of X, Y is an instance of unit of length, and Z Y(s) is an elevation of the elevation low point of X, then there don't exist W and V such that W is a geographic subregion of X and equal W and the elevation low point of X and V Y(s) is an elevation of W and V is less than Z |
| (=> (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 3415-3426 | If X is an instance of geographic area, the elevation high point of X is a geographic subregion of X, and Y Z(s) is an elevation of the elevation high point of X, then there don't exist W and V such that W is a geographic subregion of X and equal W and the elevation high point of X and V Z(s) is an elevation of W and V is greater than Y |
| (=> (and (instance ?ocean Ocean) (surface ?top ?ocean)) (elevation ?top (MeasureFn 0.0 Meter))) |
Geography.kif 6386-6391 | If X is an instance of ocean and Y is a surface of X, then 0.0 meter(s) is an elevation of Y |
| (=> (and (instance ?ocean Ocean) (surface ?top ?ocean)) (elevation ?top (MeasureFn 0.0 FootLength))) |
Geography.kif 6393-6398 | If X is an instance of ocean and Y is a surface of X, then 0.0 foot length(s) is an elevation of Y |
| (=> (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 8443-8456 | If X is an instance of land subsidence, Y is a patient of X, Y is an instance of land area, Z is an instance of unit of length, and W Z(s) is an elevation of Y, then there exists V such that V Z(s) is an elevation of Y and V is less than W holds during immediately after the time of existence of X |
| (=> (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 All of the following hold: (1) X is an instance of measuring (2) Y is a patient of X (3) Y is a surface of planet earth (4) Z is a result of X (5) W is an instrument for X (6) W is an instance of barometric altimeter, then Z is an elevation of Y |
| (=> (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 3025-3035 | If X is an instance of surface wind speed measuring, then there exist Y and Z such that Y is an instance of geographic area and Z is an instance of device and X is located at Y and Z is an instrument for X and 10.0 meter(s) is an elevation of Z holds during the time of existence of X |
| appearance as argument number 0 |
|
|
| (elevation MountWhitney (MeasureFn 4421 Meter)) |
Geography.kif 1387-1388 | 4421 Meter(s) is an elevation of Mount Whitney |
| (elevation (ElevationHighPointFn SouthernOcean) (MeasureFn 0.0 Meter)) |
Geography.kif 6225-6227 | 0.0 Meter(s) is an elevation of the elevation high point of southern ocean |
| (elevation (ElevationLowPointFn SouthernOcean) (MeasureFn -7235.0 Meter)) |
Geography.kif 6229-6231 | -7235.0 Meter(s) is an elevation of the elevation low point of southern ocean |
| (elevation SeaLevel (MeasureFn 0.0 Meter)) |
Geography.kif 6383-6384 | 0.0 Meter(s) is an elevation of sea level |
|