ElevationHighPointFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ElevationHighPointFn EnglishLanguage "(ElevationHighPointFn ?AREA) denotes the area within the GeographicArea ?AREA that has the highest elevation.")	Geography.kif 1910-1912
(domain ElevationHighPointFn 1 GeographicArea)	Geography.kif 1907-1907
(instance ElevationHighPointFn UnaryFunction)	Geography.kif 1906-1906
(range ElevationHighPointFn GeographicArea)	Geography.kif 1908-1908

appearance as argument number 2

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

antecedent

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

consequent

Geography.kif 1914-1925

statement

(elevation
(ElevationHighPointFn SouthernOcean)
(MeasureFn 0 Meter))

Geography.kif 4400-4400

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: