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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SurfaceWindSpeedMeasuring

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 1725-1728
(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 1721-1724
(subclass SurfaceWindSpeedMeasuring Measuring) Weather.kif 1729-1729 Surface wind speed measuring is a subclass of measuring

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


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

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 1731-1741

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


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


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

Show without tree


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