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 1960-1962 | |
(domain ElevationHighPointFn 1 GeographicArea) | Geography.kif 1957-1957 | Le nombre 1 argument de ElevationHighPointFn est une instance de secteur g�ographique |
(instance ElevationHighPointFn UnaryFunction) | Geography.kif 1956-1956 | ElevationHighPointFn est une instance de function unaire |
(range ElevationHighPointFn GeographicArea) | Geography.kif 1958-1958 | Le domaine de ElevationHighPointFn est une instance de secteur g�ographique |
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 21816-21816 | |
(termFormat ChineseTraditionalLanguage ElevationHighPointFn "海拔高點") | domainEnglishFormat.kif 21815-21815 | |
(termFormat EnglishLanguage ElevationHighPointFn "elevation high point") | domainEnglishFormat.kif 21814-21814 |
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 1964-1975 |
|
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 1964-1975 |
|
statement |
(elevation (ElevationHighPointFn SouthernOcean) (MeasureFn 0.0 Meter)) |
Geography.kif 4683-4685 | elevation ElevationHighPointFn SouthernOcean and 0.0 Meter(s) |