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 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 Surface wind speed measuring is a subclass of measuring

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


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

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


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