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 1948-1950
(domain ElevationHighPointFn 1 GeographicArea)	Geography.kif 1945-1945	The number 1 argument of elevation high point is an instance of geographic area
(instance ElevationHighPointFn UnaryFunction)	Geography.kif 1944-1944	Elevation high point is an instance of unary function
(range ElevationHighPointFn GeographicArea)	Geography.kif 1946-1946	The range of elevation high point is an instance of geographic area

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 21831-21831
(termFormat ChineseTraditionalLanguage ElevationHighPointFn "海拔高點")	domainEnglishFormat.kif 21830-21830
(termFormat EnglishLanguage ElevationHighPointFn "elevation high point")	domainEnglishFormat.kif 21829-21829

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

If a geographic area is an instance of geographic area and the elevation high point of the geographic area is a geographic subregion of the geographic area and a real number an unit of measure(s) is an elevation of the elevation high point of the geographic area,
then there don't exist another geographic area and another real number such that the other geographic area is a geographic subregion of the geographic area and the other geographic area is not equal to the elevation high point of the geographic area and the other real number the unit of measure(s) is an elevation of the other geographic area and the other real number is greater than the real number

consequent

Geography.kif 1952-1963

If a geographic area is an instance of geographic area and the elevation high point of the geographic area is a geographic subregion of the geographic area and a real number an unit of measure(s) is an elevation of the elevation high point of the geographic area,
then there don't exist another geographic area and another real number such that the other geographic area is a geographic subregion of the geographic area and the other geographic area is not equal to the elevation high point of the geographic area and the other real number the unit of measure(s) is an elevation of the other geographic area and the other real number is greater than the real number

statement

(elevation
(ElevationHighPointFn SouthernOcean)
(MeasureFn 0.0 Meter))

Geography.kif 4752-4754

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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: