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 2094-2096 | |
(domain ElevationLowPointFn 1 GeographicArea) | Geography.kif 2091-2091 | |
(instance ElevationLowPointFn UnaryFunction) | Geography.kif 2090-2090 | |
(range ElevationLowPointFn GeographicArea) | Geography.kif 2092-2092 |
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 21831-21831 | |
(termFormat ChineseTraditionalLanguage ElevationLowPointFn "海拔低點") | domainEnglishFormat.kif 21830-21830 | |
(termFormat EnglishLanguage ElevationLowPointFn "elevation low point") | domainEnglishFormat.kif 21829-21829 |
antecedent |
![]() |
(=> (and (instance ?AREA GeographicArea) (geographicSubregion (ElevationLowPointFn ?AREA) ?AREA) (instance ?U UnitOfLength) (elevation (ElevationLowPointFn ?AREA) (MeasureFn ?ELEV1 ?U))) (not (exists (?OTHER ?ELEV2) (and (geographicSubregion ?OTHER ?AREA) (not (equal ?OTHER (ElevationLowPointFn ?AREA))) (elevation ?OTHER (MeasureFn ?ELEV2 ?U)) (lessThan ?ELEV2 ?ELEV1))))) |
Geography.kif 2098-2112 |
consequent |
![]() |
(=> (and (instance ?AREA GeographicArea) (geographicSubregion (ElevationLowPointFn ?AREA) ?AREA) (instance ?U UnitOfLength) (elevation (ElevationLowPointFn ?AREA) (MeasureFn ?ELEV1 ?U))) (not (exists (?OTHER ?ELEV2) (and (geographicSubregion ?OTHER ?AREA) (not (equal ?OTHER (ElevationLowPointFn ?AREA))) (elevation ?OTHER (MeasureFn ?ELEV2 ?U)) (lessThan ?ELEV2 ?ELEV1))))) |
Geography.kif 2098-2112 |
statement |
![]() |
(elevation (ElevationLowPointFn SouthernOcean) (MeasureFn -7235.0 Meter)) |
Geography.kif 4927-4929 |
![]() |
![]() |