WheatGrain
|
|
appearance as argument number 1 |
(documentation SurfaceWindSpeedMeasuring ChineseLanguage "SurfaceWindSpeedMeasuring 是(量度) Measuring 的(子类别) subclass。它量度一个(地区) GeographicArea WindFlow 的速度,以 0.25 &SecondDuration 秒的时间间隔进行。用于量度的(仪器)instrument 由世界气象组织规定设在地球表面 10米(33英尺)上高度的位置。") | Weather.kif 1709-1712 | |
(documentation SurfaceWindSpeedMeasuring EnglishLanguage "SurfaceWindSpeedMeasuring is a subclass of Measuring. It measures the WindFlow over a GeographicArea at a 0.25 &SecondDuration intervals. The instrument used is set to locate at 10 metres (33 feet) above the Earth's surface as recommended by the World Meteorological Organisation.") | Weather.kif 1705-1708 | |
(subclass SurfaceWindSpeedMeasuring Measuring) | Weather.kif 1713-1713 | SurfaceWindSpeedMeasuring は 計測 の subclass では %n |
appearance as argument number 2 |
(termFormat ChineseLanguage SurfaceWindSpeedMeasuring "地面风速量度") | domainEnglishFormat.kif 10424-10424 | |
(termFormat EnglishLanguage SurfaceWindSpeedMeasuring "surface wind speed measuring") | domainEnglishFormat.kif 10423-10423 |
antecedent |
(=> (instance ?M SurfaceWindSpeedMeasuring) (exists (?PLACE ?TOOL) (and (instance ?PLACE GeographicArea) (instance ?TOOL Device) (eventLocated ?M ?PLACE) (instrument ?M ?TOOL) (holdsDuring (WhenFn ?M) (elevation ?TOOL (MeasureFn 10.0 Meter)))))) |
Weather.kif 1715-1725 |
consequent |
(=> (and (instance ?LIST MeasuringSurfaceWindSpeedList) (inList ?M ?LIST)) (instance ?M SurfaceWindSpeedMeasuring)) |
Weather.kif 1733-1737 |
|