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 1835-1840
(domain elevation 1 Object) Geography.kif 1832-1832 The number 1 argument of elevation is an instance of object
(domain elevation 2 LengthMeasure) Geography.kif 1833-1833 The number 2 argument of elevation is an instance of length measure
(instance elevation BinaryPredicate) Geography.kif 1831-1831 elevation is an instance of binary predicate

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 "elevation" is the printable form of elevation in english language

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
-------------------------


(=>
    (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 ?MEASURE Measuring)
        (patient ?MEASURE ?OBJ)
        (surface ?OBJ PlanetEarth)
        (result ?MEASURE ?QUANTITY)
        (instrument ?MEASURE ?BAROMETER)
        (instance ?BAROMETER BarometricAltimeter))
    (elevation ?OBJ ?QUANTITY))
MilitaryDevices.kif 1487-1495
(=>
    (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
(=>
    (and
        (instance ?ocean Ocean)
        (surface ?top ?ocean))
    (elevation ?top
        (MeasureFn 0 FootLength)))
Geography.kif 4510-4514
(=>
    (and
        (instance ?ocean Ocean)
        (surface ?top ?ocean))
    (elevation ?top
        (MeasureFn 0 Meter)))
Geography.kif 4504-4508

appearance as argument number 0
-------------------------


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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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