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 1894-1899 | |
(domain elevation 1 Object) | Geography.kif 1891-1891 | 海拔 的 1 数量 是 客体 的 instance |
(domain elevation 2 LengthMeasure) | Geography.kif 1892-1892 | 海拔 的 2 数量 是 长度测量 的 instance |
(instance elevation BinaryPredicate) | Geography.kif 1890-1890 | 海拔 是 二元谓语 的 instance |
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 21810-21810 | |
(termFormat ChineseTraditionalLanguage elevation "海拔") | domainEnglishFormat.kif 21809-21809 | |
(termFormat EnglishLanguage elevation "elevation") | domainEnglishFormat.kif 21808-21808 |
antecedent |
consequent |
appearance as argument number 0 |
(elevation (ElevationHighPointFn SouthernOcean) (MeasureFn 0.0 Meter)) |
Geography.kif 4683-4685 | 0.0 仪表 是 南部海洋 的 elevation 高点 的 elevation |
(elevation (ElevationLowPointFn SouthernOcean) (MeasureFn -7235.0 Meter)) |
Geography.kif 4687-4689 | -7235.0 仪表 是 南部海洋 的 elevation 低点 的 elevation |
(elevation SeaLevel (MeasureFn 0.0 Meter)) |
Geography.kif 4827-4828 | 0.0 仪表 是 海平面 的 elevation |