Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  elevation

 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 1897-1902
(domain elevation 1 Object) Geography.kif 1894-1894 domain elevation, 1 and Object
(domain elevation 2 LengthMeasure) Geography.kif 1895-1895 domain elevation, 2 and LengthMeasure
(instance elevation BinaryPredicate) Geography.kif 1893-1893 instance elevation and BinaryPredicate

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 21807-21807
(termFormat ChineseTraditionalLanguage elevation "海拔") domainEnglishFormat.kif 21806-21806
(termFormat EnglishLanguage elevation "elevation") domainEnglishFormat.kif 21805-21805

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 1925-1933
(=>
    (and
        (elevation ?OBJECT ?HEIGHT)
        (located ?OBJECT ?PLACE)
        (instance ?PLACE GeographicArea))
    (superficialPart ?PLACE PlanetEarth))		 Geography.kif 1910-1915
(=>
    (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 1967-1978
(=>
    (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 1943-1957
(=>
    (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 6467-6480
(=>
    (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 148-157
(=>
    (elevation ?OBJECT ?HEIGHT)
    (exists (?DATUM)
        (and
            (properPart ?DATUM SeaLevel)
            (orientation ?OBJECT ?DATUM Vertical)
            (distance ?OBJECT ?DATUM ?HEIGHT))))		 Geography.kif 1917-1923
(=>
    (elevation ?OBJECT ?HEIGHT)
    (exists (?PLACE)
        (and
            (instance ?PLACE GeographicArea)
            (located ?OBJECT ?PLACE))))		 Geography.kif 1904-1909

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 1967-1978
(=>
    (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 1943-1957
(=>
    (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)
        (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 6467-6480
(=>
    (and
        (instance ?ocean Ocean)
        (surface ?top ?ocean))
    (elevation ?top
        (MeasureFn 0.0 FootLength)))		 Geography.kif 4735-4740
(=>
    (and
        (instance ?ocean Ocean)
        (surface ?top ?ocean))
    (elevation ?top
        (MeasureFn 0.0 Meter)))		 Geography.kif 4728-4733
(=>
    (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 1731-1741

Show without tree


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