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 ElevationLowPointFn の数値 1 引数は 地理的地域instance では %n
(instance ElevationLowPointFn UnaryFunction) Geography.kif 1873-1873 ElevationLowPointFn1変数関数instance では %n
(range ElevationLowPointFn GeographicArea) Geography.kif 1875-1875 ElevationLowPointFnrange地理的地域 のインスタンス では %n

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 21757-21757 termFormat ChineseLanguage, ElevationLowPointFn and "海拔低点"
(termFormat ChineseTraditionalLanguage ElevationLowPointFn "海拔低點") domainEnglishFormat.kif 21756-21756 termFormat ChineseTraditionalLanguage, ElevationLowPointFn and "海拔低點"
(termFormat EnglishLanguage ElevationLowPointFn "elevation low point") domainEnglishFormat.kif 21755-21755 termFormat EnglishLanguage, ElevationLowPointFn and "elevation low point"

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