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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Mean10MinutesWindSpeedFn

Sigma KEE - Mean10MinutesWindSpeedFn
Mean10MinutesWindSpeedFn

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


(documentation Mean10MinutesWindSpeedFn ChineseLanguage "(Mean10MinutesWindSpeedFn ?PLACE ?TIME) 得出一個 FunctionQuantity, 它是在?PLACE 地方,划一表示在地球表面10米(33 英尺)上高度位置, 某时 ?TIME,(持续时间)TimeDuration 长10 Minutes 分钟、共120个每 5 Second 秒时间 间隔量度的即时(地面风速)surfaceWindSpeed(串列)&List上的平均值。") Weather.kif 2213-2216
(documentation Mean10MinutesWindSpeedFn EnglishLanguage "(Mean10MinutesWindSpeedFn ?PLACE ?TIME) returns a FunctionQuantity which is the average value of a List of 120 instantaneous of surfaceWindSpeed measurements, each taken at 5 Second intervals, over a 10 Minutes TimeDuration for ?PLACE at ?TIME, standardised to reflect the winds at 10 metres (33 feet) above the Earth's surface.") Weather.kif 2207-2211
(domain Mean10MinutesWindSpeedFn 1 GeographicArea) Weather.kif 2218-2218 Mean10MinutesWindSpeedFn の数値 1 引数は 地理的地域instance では %n
(domain Mean10MinutesWindSpeedFn 2 TimeInterval) Weather.kif 2219-2219 Mean10MinutesWindSpeedFn の数値 2 引数は 時間間隔instance では %n
(instance Mean10MinutesWindSpeedFn BinaryFunction) Weather.kif 2221-2221 Mean10MinutesWindSpeedFn2変数関数instance では %n
(range Mean10MinutesWindSpeedFn FunctionQuantity) Weather.kif 2220-2220 Mean10MinutesWindSpeedFnrange関数量 のインスタンス では %n

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


(format ChineseLanguage Mean10MinutesWindSpeedFn "%1地区在%2时段的 Mean10MinutesWindSpeedFn") Weather.kif 2217-2217
(format EnglishLanguage Mean10MinutesWindSpeedFn "Mean10MinutesWindSpeedFn for %2 in region %1") Weather.kif 2212-2212
(termFormat ChineseLanguage Mean10MinutesWindSpeedFn "10分钟平均地面风速") domainEnglishFormat.kif 10373-10373
(termFormat EnglishLanguage Mean10MinutesWindSpeedFn "ten minute mean surface wind speed") domainEnglishFormat.kif 10372-10372

antecedent
-------------------------


(=>
    (equal ?SPEED
        (Mean10MinutesWindSpeedFn ?PLACE ?TIME))
    (holdsDuring ?TIME
        (exists (?MLIST ?RLIST ?NLIST ?UNIT)
            (and
                (instance ?MLIST MeasuringSurfaceWindSpeedList)
                (locationMeasuringList ?MLIST ?PLACE)
                (measuringListInterval ?MLIST
                    (MeasureFn 5 SecondDuration))
                (measuringListDuration ?MLIST
                    (MeasureFn 10 MinuteDuration))
                (equal 120
                    (ListLengthFn ?MLIST))
                (measuringResult ?MLIST ?RLIST)
                (equal ?NLIST
                    (PhysicalQuantityToNumberFn ?RLIST))
                (equal ?SPEED
                    (MeasureFn
                        (AverageFn ?NLIST) ?UNIT))))))
Weather.kif 2223-2240

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


(=>
    (instance ?T Typhoon)
    (exists (?TC ?PLACE ?WIND)
        (and
            (instance ?TC TropicalCyclone)
            (instance ?PLACE GeographicArea)
            (eventLocated ?TC ?PLACE)
            (equal
                (MeasureFn ?WIND MilesPerHour)
                (Mean10MinutesWindSpeedFn ?PLACE
                    (WhenFn ?TC)))
            (greaterThanOrEqualTo ?WIND 64.0))))
Weather.kif 774-785


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