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

KB Term:  Term intersection
English Word: 

Sigma KEE - ElevationHighPointFn
ElevationHighPointFn

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


(instance ElevationHighPointFn UnaryFunction) Geography.kif 3407-3407 Elevation high point is an instance of unary function
(domain ElevationHighPointFn 1 GeographicArea) Geography.kif 3408-3408 The number 1 argument of elevation high point is an instance of geographic area
(range ElevationHighPointFn GeographicArea) Geography.kif 3409-3409 The range of elevation high point is an instance of geographic area
(documentation ElevationHighPointFn EnglishLanguage "(ElevationHighPointFn ?AREA) denotes the area within the GeographicArea ?AREA that has the highest elevation.") Geography.kif 3411-3413 The range of elevation high point is an instance of geographic area

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


(format EnglishLanguage ElevationHighPointFn "the elevation high point of %1") domainEnglishFormat.kif 893-893
(format ChineseTraditionalLanguage ElevationHighPointFn "%1 的 elevation 高點") domainEnglishFormat.kif 894-894
(format ChineseLanguage ElevationHighPointFn "%1 的 elevation 高点") domainEnglishFormat.kif 895-895
(termFormat EnglishLanguage ElevationHighPointFn "elevation high point") domainEnglishFormat.kif 21816-21816
(termFormat ChineseTraditionalLanguage ElevationHighPointFn "海拔高點") domainEnglishFormat.kif 21817-21817
(termFormat ChineseLanguage ElevationHighPointFn "海拔高点") domainEnglishFormat.kif 21818-21818

antecedent
-------------------------


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

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

statement
-------------------------


(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


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners