SurfaceWindSpeedMeasuring - Sigma Knowledge base Browser

appearance as argument number 1

(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 3015-3018
(documentation SurfaceWindSpeedMeasuring ChineseLanguage "SurfaceWindSpeedMeasuring 是（量度） Measuring 的（子类别） subclass。它量度一个（地区） GeographicArea WindFlow 的速度，以 0.25 &SecondDuration 秒的时间间隔进行。用于量度的（仪器）instrument 由世界气象组织规定设在地球表面 10米(33英尺)上高度的位置。")	Weather.kif 3019-3022
(subclass SurfaceWindSpeedMeasuring Measuring)	Weather.kif 3023-3023	Surface wind speed measuring is a subclass of measuring

appearance as argument number 2

(termFormat EnglishLanguage SurfaceWindSpeedMeasuring "surface wind speed measuring")	domainEnglishFormat.kif 10429-10429
(termFormat ChineseLanguage SurfaceWindSpeedMeasuring "地面风速量度")	domainEnglishFormat.kif 10430-10430

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))))))

If X is an instance of surface wind speed measuring, then there exist Y and Z such that Y is an instance of geographic area and Z is an instance of device and X is located at Y and Z is an instrument for X and 10.0 meter(s) is an elevation of Z holds during the time of existence of X

consequent

(=>
    (and
        (instance ?LIST MeasuringSurfaceWindSpeedList)
        (inList ?M ?LIST))
    (instance ?M SurfaceWindSpeedMeasuring))