Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ElevationLowPointFn
ElevationLowPointFn

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


(documentation ElevationLowPointFn EnglishLanguage "(ElevationLowPointFn ?AREA) denotes the area within the GeographicArea ?AREA that has the lowest elevation.") Geography.kif 1939-1941
(domain ElevationLowPointFn 1 GeographicArea) Geography.kif 1936-1936 The number 1 argument of elevation low point is an instance of geographic area
(instance ElevationLowPointFn UnaryFunction) Geography.kif 1935-1935 Elevation low point is an instance of unary function
(range ElevationLowPointFn GeographicArea) Geography.kif 1937-1937 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 21819-21819
(termFormat ChineseTraditionalLanguage ElevationLowPointFn "海拔低點") domainEnglishFormat.kif 21818-21818
(termFormat EnglishLanguage ElevationLowPointFn "elevation low point") domainEnglishFormat.kif 21817-21817

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

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