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

KB Term:  Term intersection
English Word: 

Sigma KEE - ElevationLowPointFn
ElevationLowPointFn

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


(instance ElevationLowPointFn UnaryFunction) Geography.kif 3383-3383 Elevation low point is an instance of unary function
(domain ElevationLowPointFn 1 GeographicArea) Geography.kif 3384-3384 The number 1 argument of elevation low point is an instance of geographic area
(range ElevationLowPointFn GeographicArea) Geography.kif 3385-3385 The range of elevation low point is an instance of geographic area
(documentation ElevationLowPointFn EnglishLanguage "(ElevationLowPointFn ?AREA) denotes the area within the GeographicArea ?AREA that has the lowest elevation.") Geography.kif 3387-3389 The range of elevation low point is an instance of geographic area

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


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

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 3391-3405 If X is an instance of geographic area, the elevation low point of X is a geographic subregion of X, Y is an instance of unit of length, and Z Y(s) is an elevation of the elevation low 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 low point of X and V Y(s) is an elevation of W and V is less than Z

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


(=>
    (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 3391-3405 If X is an instance of geographic area, the elevation low point of X is a geographic subregion of X, Y is an instance of unit of length, and Z Y(s) is an elevation of the elevation low 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 low point of X and V Y(s) is an elevation of W and V is less than Z

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


(elevation
    (ElevationLowPointFn SouthernOcean)
    (MeasureFn -7235.0 Meter))		 Geography.kif 6229-6231 -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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners