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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WheatGrain

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 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 SurfaceWindSpeedMeasuring計測subclass では %n

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 1715-1725

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


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


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