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 1877-1879
(domain ElevationLowPointFn 1 GeographicArea) Geography.kif 1874-1874
(instance ElevationLowPointFn UnaryFunction) Geography.kif 1873-1873
(range ElevationLowPointFn GeographicArea) Geography.kif 1875-1875

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


(format EnglishLanguage ElevationLowPointFn "the elevation low point of %1") domainEnglishFormat.kif 233-233
(termFormat EnglishLanguage ElevationLowPointFn "elevation low point") domainEnglishFormat.kif 4059-4059

antecedent
-------------------------


(=>
    (and
        (instance ?AREA GeographicArea)
        (geographicSubregion
            (ElevationLowPointFn ?AREA) ?AREA)
        (elevation
            (ElevationLowPointFn ?AREA) ?ELEV1))
    (not
        (exists (?OTHER ?ELEV2)
            (and
                (geographicSubregion ?OTHER ?AREA)
                (not
                    (equal ?OTHER
                        (ElevationLowPointFn ?AREA)))
                (elevation ?OTHER ?ELEV2)
                (lessThan ?ELEV2 ?ELEV1)))))
Geography.kif 1881-1892

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


(=>
    (and
        (instance ?AREA GeographicArea)
        (geographicSubregion
            (ElevationLowPointFn ?AREA) ?AREA)
        (elevation
            (ElevationLowPointFn ?AREA) ?ELEV1))
    (not
        (exists (?OTHER ?ELEV2)
            (and
                (geographicSubregion ?OTHER ?AREA)
                (not
                    (equal ?OTHER
                        (ElevationLowPointFn ?AREA)))
                (elevation ?OTHER ?ELEV2)
                (lessThan ?ELEV2 ?ELEV1)))))
Geography.kif 1881-1892