Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SurfaceWindSpeedMeasuring
SurfaceWindSpeedMeasuring(surface wind speed measuring)

appearance as argument number 1
-------------------------


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

appearance as argument number 2
-------------------------


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

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 1714-1724

consequent
-------------------------


(=>
    (and
        (instance ?LIST MeasuringSurfaceWindSpeedList)
        (inList ?M ?LIST))
    (instance ?M SurfaceWindSpeedMeasuring))
Weather.kif 1732-1736


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners