ElevationLowPointFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ElevationLowPointFn EnglishLanguage "(ElevationLowPointFn ?AREA) denotes the area within the GeographicArea ?AREA that has the lowest elevation.")	Geography.kif 1924-1926
(domain ElevationLowPointFn 1 GeographicArea)	Geography.kif 1921-1921	The number 1 argument of elevation low point is an instance of geographic area
(instance ElevationLowPointFn UnaryFunction)	Geography.kif 1920-1920	Elevation low point is an instance of unary function
(range ElevationLowPointFn GeographicArea)	Geography.kif 1922-1922	The range of elevation low point is an instance of geographic area

appearance as argument number 2

(format ChineseLanguage ElevationLowPointFn "%1 的 elevation 低点")	domainEnglishFormat.kif 899-899
(format ChineseTraditionalLanguage ElevationLowPointFn "%1 的 elevation 低點")	domainEnglishFormat.kif 898-898
(format EnglishLanguage ElevationLowPointFn "the elevation low point of %1")	domainEnglishFormat.kif 897-897
(termFormat ChineseLanguage ElevationLowPointFn "海拔低点")	domainEnglishFormat.kif 21837-21837
(termFormat ChineseTraditionalLanguage ElevationLowPointFn "海拔低點")	domainEnglishFormat.kif 21836-21836
(termFormat EnglishLanguage ElevationLowPointFn "elevation low point")	domainEnglishFormat.kif 21835-21835

antecedent

(=>
    (and
        (instance ?AREA GeographicArea)
        (geographicSubregion
            (ElevationLowPointFn ?AREA) ?AREA)
        (instance ?U UnitOfLength)
        (elevation
            (ElevationLowPointFn ?AREA)
            (MeasureFn ?ELEV1 ?U)))
    (not
        (exists (?OTHER ?ELEV2)
            (and
                (geographicSubregion ?OTHER ?AREA)
                (not
                    (equal ?OTHER
                        (ElevationLowPointFn ?AREA)))
                (elevation ?OTHER
                    (MeasureFn ?ELEV2 ?U))
                (lessThan ?ELEV2 ?ELEV1)))))

Geography.kif 1928-1942

If a geographic area is an instance of geographic area and the elevation low point of the geographic area is a geographic subregion of the geographic area and an unit of measure is an instance of unit of length and a real number the unit of measure(s) is an elevation of the elevation low 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 low 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 less than the real number

consequent

Geography.kif 1928-1942

If a geographic area is an instance of geographic area and the elevation low point of the geographic area is a geographic subregion of the geographic area and an unit of measure is an instance of unit of length and a real number the unit of measure(s) is an elevation of the elevation low 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 low 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 less than the real number

statement

(elevation
(ElevationLowPointFn SouthernOcean)
(MeasureFn -7235.0 Meter))

Geography.kif 4756-4758

-7235.0 Meter(s) is an elevation of the elevation low 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: