elevation |
appearance as argument number 1 |
![]() |
(documentation elevation EnglishLanguage "(elevation ?OBJECT ?HEIGHT) means that the physical Object ?OBJECT is located on the surface of PlanetEarth at the vertical distance ?HEIGHT above (or below, for a negative quantity) SeaLevel. ?OBJECT may be a superficialPart of Earth's surface, such as a GeographicArea. Elevation is measured from SeaLevel to the vertical top of the object.") | Geography.kif 2052-2057 | |
(domain elevation 1 Object) | Geography.kif 2049-2049 | Le nombre 1 argument de elevation est une instance de objet |
(domain elevation 2 LengthMeasure) | Geography.kif 2050-2050 | Le nombre 2 argument de elevation est une instance de mesure de longueur |
(instance elevation BinaryPredicate) | Geography.kif 2048-2048 | elevation est une instance de pr�dicat binaire |
appearance as argument number 2 |
![]() |
(format ChineseLanguage elevation "%2 %n 是 %1 的 elevation ") | domainEnglishFormat.kif 891-891 | |
(format ChineseTraditionalLanguage elevation "%2 %n 是 %1 的 elevation ") | domainEnglishFormat.kif 890-890 | |
(format EnglishLanguage elevation "%2 is %n an elevation of %1") | domainEnglishFormat.kif 889-889 | |
(termFormat ChineseLanguage elevation "海拔") | domainEnglishFormat.kif 21819-21819 | |
(termFormat ChineseTraditionalLanguage elevation "海拔") | domainEnglishFormat.kif 21818-21818 | |
(termFormat EnglishLanguage elevation "elevation") | domainEnglishFormat.kif 21817-21817 |
antecedent |
![]() |
consequent |
![]() |
appearance as argument number 0 |
![]() |
(elevation (ElevationHighPointFn SouthernOcean) (MeasureFn 0.0 Meter)) |
Geography.kif 4923-4925 | elevation ElevationHighPointFn SouthernOcean and 0.0 Meter(s) |
(elevation (ElevationLowPointFn SouthernOcean) (MeasureFn -7235.0 Meter)) |
Geography.kif 4927-4929 | elevation ElevationLowPointFn SouthernOcean and -7235.0 Meter(s) |
(elevation SeaLevel (MeasureFn 0.0 Meter)) |
Geography.kif 5081-5082 | elevation SeaLevel and 0.0 Meter(s) |
![]() |
![]() |