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 2118-2120 | |
(domain ElevationHighPointFn 1 GeographicArea) | Geography.kif 2115-2115 | The number 1 argument of elevation high point is an instance of geographic area |
(instance ElevationHighPointFn UnaryFunction) | Geography.kif 2114-2114 | Elevation high point is an instance of unary function |
(range ElevationHighPointFn GeographicArea) | Geography.kif 2116-2116 | 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 21825-21825 | |
(termFormat ChineseTraditionalLanguage ElevationHighPointFn "海拔高點") | domainEnglishFormat.kif 21824-21824 | |
(termFormat EnglishLanguage ElevationHighPointFn "elevation high point") | domainEnglishFormat.kif 21823-21823 |
antecedent |
![]() |
consequent |
![]() |
statement |
![]() |
(elevation (ElevationHighPointFn SouthernOcean) (MeasureFn 0.0 Meter)) |
Geography.kif 4923-4925 | 0.0 Meter(s) is an elevation of the elevation high point of southern ocean |
![]() |
![]() |