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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SeaLevel

Sigma KEE - SeaLevel
SeaLevel(sea level)
sea_level

appearance as argument number 1
-------------------------


(documentation SeaLevel EnglishLanguage "SeaLevel designates the global Mean Sea Surface (MSS). Note that SeaLevel represents a GeographicArea that comprises all the local Mean Sea Level (MSL) areas used as references for measuring altitude. In fact, there are local variations in MSL, due to tides and long- and short- term weather conditions.") Geography.kif 4490-4494
(elevation SeaLevel
    (MeasureFn 0 Meter))
Geography.kif 4502-4502 0 Meter(s) is an elevation of sea level
(externalImage SeaLevel "http://upload.wikimedia.org/wikipedia/commons/6/ 68/ Geosat_Sea_Level_Deviation_Winter_1987-88.gif") pictureList.kif 3192-3192 "http://upload.wikimedia.org/wikipedia/commons/6/68/ Geosat_Sea_Level_Deviation_Winter_1987-88.gif" is a URL depicting sea level
(externalImage SeaLevel "http://upload.wikimedia.org/wikipedia/commons/c/ c6/ Well_below_sea_level.jpg") pictureList.kif 3190-3190 "http://upload.wikimedia.org/wikipedia/commons/c/c6/ Well_below_sea_level.jpg" is a URL depicting sea level
(externalImage SeaLevel "http://upload.wikimedia.org/wikipedia/commons/c/ c8/ Death_Valley%2C19820817%2CFurnace_Creek%2Csea_level.jpg") pictureList.kif 3191-3191 "http://upload.wikimedia.org/wikipedia/commons/c/c8/ Death_Valley%2C19820817%2CFurnace_Creek%2Csea_level.jpg" is a URL depicting sea level
(instance SeaLevel GeographicArea) Geography.kif 4489-4489 Sea level is an instance of geographic area

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage SeaLevel "sea level") domainEnglishFormat.kif 9040-9040 "sea level" is the printable form of sea level in english language

consequent
-------------------------


(=>
    (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
        (instance ?MEASURE Measuring)
        (patient ?MEASURE ?OBJ)
        (result ?MEASURE ?QUANTITY)
        (instrument ?MEASURE ?BAROMETER)
        (instance ?BAROMETER BarometricAltimeter))
    (altitude ?OBJ SeaLevel ?QUANTITY))
MilitaryDevices.kif 1476-1483
(=>
    (and
        (instance ?SEA Sea)
        (top ?TOP ?SEA))
    (altitude ?TOP SeaLevel
        (MeasureFn 0 FootLength)))
Geography.kif 4448-4452
(=>
    (and
        (instance ?SEA Sea)
        (top ?TOP ?SEA))
    (altitude ?TOP SeaLevel
        (MeasureFn 0 Meter)))
Geography.kif 4442-4446
(=>
    (elevation ?OBJECT ?HEIGHT)
    (exists (?DATUM)
        (and
            (properPart ?DATUM SeaLevel)
            (orientation ?OBJECT ?DATUM Vertical)
            (distance ?OBJECT ?DATUM ?HEIGHT))))
Geography.kif 1855-1861


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