MeasuringSurfaceWindSpeedList(地面风速量度串列 ) |
appearance as argument number 1 |
(documentation MeasuringSurfaceWindSpeedList ChineseLanguage "MeasuringSurfaceWindSpeedList 包含在一个(地区) GeographicArea 进行一系列的(地面风速量度) SurfaceWindSpeedMeasuring。") | Weather.kif 1729-1730 | |
(documentation MeasuringSurfaceWindSpeedList EnglishLanguage "MeasuringSurfaceWindSpeedList contains a sequence of SurfaceWindSpeedMeasuring over a GeographicArea.") | Weather.kif 1727-1728 | |
(subclass MeasuringSurfaceWindSpeedList MeasuringList) | Weather.kif 1731-1731 | 地面风速量度串列 是 量度串列 的 subclass |
appearance as argument number 2 |
(termFormat ChineseLanguage MeasuringSurfaceWindSpeedList "地面风速量度串列 ") | domainEnglishFormat.kif 10421-10421 | |
(termFormat EnglishLanguage MeasuringSurfaceWindSpeedList "measuring surface wind speed list") | domainEnglishFormat.kif 10420-10420 |
antecedent |
(=> (and (instance ?LIST MeasuringSurfaceWindSpeedList) (inList ?M ?LIST)) (instance ?M SurfaceWindSpeedMeasuring)) |
Weather.kif 1733-1737 |
consequent |