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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SurfaceWindSpeedMeasuring
SurfaceWindSpeedMeasuring(地面风速量度)

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


(documentation SurfaceWindSpeedMeasuring ChineseLanguage "SurfaceWindSpeedMeasuring 是(量度) Measuring 的(子类别) subclass。它量度一个(地区) GeographicArea WindFlow 的速度,以 0.25 &SecondDuration 秒的时间间隔进行。用于量度的(仪器)instrument 由世界气象组织规定设在地球表面 10米(33英尺)上高度的位置。") Weather.kif 1726-1729
(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 1722-1725
(subclass SurfaceWindSpeedMeasuring Measuring) Weather.kif 1730-1730 地面风速量度测量subclass

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 1732-1742

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


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


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