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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ElevationHighPointFn

Sigma KEE - ElevationHighPointFn
ElevationHighPointFn

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


(documentation ElevationHighPointFn EnglishLanguage "(ElevationHighPointFn ?AREA) denotes the area within the GeographicArea ?AREA that has the highest elevation.") Geography.kif 1963-1965
(domain ElevationHighPointFn 1 GeographicArea) Geography.kif 1960-1960 The number 1 argument of elevation high point is an instance of geographic area
(instance ElevationHighPointFn UnaryFunction) Geography.kif 1959-1959 Elevation high point is an instance of unary function
(range ElevationHighPointFn GeographicArea) Geography.kif 1961-1961 The range of elevation high point is an instance of geographic area

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


(format ChineseLanguage ElevationHighPointFn "%1 的 elevation 高点") domainEnglishFormat.kif 895-895
(format ChineseTraditionalLanguage ElevationHighPointFn "%1 的 elevation 高點") domainEnglishFormat.kif 894-894
(format EnglishLanguage ElevationHighPointFn "the elevation high point of %1") domainEnglishFormat.kif 893-893
(termFormat ChineseLanguage ElevationHighPointFn "海拔高点") domainEnglishFormat.kif 21813-21813
(termFormat ChineseTraditionalLanguage ElevationHighPointFn "海拔高點") domainEnglishFormat.kif 21812-21812
(termFormat EnglishLanguage ElevationHighPointFn "elevation high point") domainEnglishFormat.kif 21811-21811

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


(=>
    (and
        (instance ?AREA GeographicArea)
        (geographicSubregion
            (ElevationHighPointFn ?AREA) ?AREA)
        (elevation
            (ElevationHighPointFn ?AREA)
            (MeasureFn ?ELEV1 ?UNIT)))
    (not
        (exists (?OTHER ?ELEV2)
            (and
                (geographicSubregion ?OTHER ?AREA)
                (not
                    (equal ?OTHER
                        (ElevationHighPointFn ?AREA)))
                (elevation ?OTHER
                    (MeasureFn ?ELEV2 ?UNIT))
                (greaterThan ?ELEV2 ?ELEV1)))))
Geography.kif 1967-1978

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


(=>
    (and
        (instance ?AREA GeographicArea)
        (geographicSubregion
            (ElevationHighPointFn ?AREA) ?AREA)
        (elevation
            (ElevationHighPointFn ?AREA)
            (MeasureFn ?ELEV1 ?UNIT)))
    (not
        (exists (?OTHER ?ELEV2)
            (and
                (geographicSubregion ?OTHER ?AREA)
                (not
                    (equal ?OTHER
                        (ElevationHighPointFn ?AREA)))
                (elevation ?OTHER
                    (MeasureFn ?ELEV2 ?UNIT))
                (greaterThan ?ELEV2 ?ELEV1)))))
Geography.kif 1967-1978

Show without tree


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