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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Mean1MinuteWindSpeedFn
Mean1MinuteWindSpeedFn

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


(documentation Mean1MinuteWindSpeedFn ChineseLanguage "(Mean1MinuteWindSpeedFn ?PLACE ?TIME) 得出一個 FunctionQuantity, 它是在?PLACE 地方,划一表示在地球表面10米(33 英尺)上高度位置, 某时 ?TIME,(持续时间)TimeDuration 长1 Minutes 分钟、共12个每 5 Second 秒时间 间隔量度的即时(地面风速)surfaceWindSpeed(串列)&List上的平均值。") Weather.kif 2317-2320
(documentation Mean1MinuteWindSpeedFn EnglishLanguage "(Mean1MinuteWindSpeedFn ?PLACE ?TIME) returns a FunctionQuantity which is the average value of a List of 12 instantaneous of surfaceWindSpeed measurements, each taken at 5 Second intervals, over a 1 Minutes TimeDuration for ?PLACE at ?TIME, standardised to reflect the winds at 10 metres (33 feet) above the Earth's surface.") Weather.kif 2311-2315
(domain Mean1MinuteWindSpeedFn 1 GeographicArea) Weather.kif 2322-2322 The number 1 argument of one minute mean surface wind speed is an instance of geographic area
(domain Mean1MinuteWindSpeedFn 2 TimeInterval) Weather.kif 2323-2323 The number 2 argument of one minute mean surface wind speed is an instance of time interval
(instance Mean1MinuteWindSpeedFn BinaryFunction) Weather.kif 2325-2325 One minute mean surface wind speed is an instance of binary function
(range Mean1MinuteWindSpeedFn FunctionQuantity) Weather.kif 2324-2324 The range of one minute mean surface wind speed is an instance of function quantity

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


(format ChineseLanguage Mean1MinuteWindSpeedFn "%1地区在%2时段的 Mean1MinuteWindSpeedFn") Weather.kif 2321-2321
(format EnglishLanguage Mean1MinuteWindSpeedFn "Mean1MinuteWindSpeedFn for %2 in region %1") Weather.kif 2316-2316
(termFormat ChineseLanguage Mean1MinuteWindSpeedFn "1分钟平均地面风速") domainEnglishFormat.kif 10391-10391
(termFormat EnglishLanguage Mean1MinuteWindSpeedFn "one minute mean surface wind speed") domainEnglishFormat.kif 10390-10390

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


(=>
    (equal ?SPEED
        (Mean1MinuteWindSpeedFn ?PLACE ?TIME))
    (holdsDuring ?TIME
        (exists (?MLIST ?RLIST ?NLIST ?UNIT)
            (and
                (instance ?MLIST MeasuringSurfaceWindSpeedList)
                (locationMeasuringList ?MLIST ?PLACE)
                (measuringListInterval ?MLIST
                    (MeasureFn 5 SecondDuration))
                (measuringListDuration ?MLIST
                    (MeasureFn 1 MinuteDuration))
                (equal 12
                    (ListLengthFn ?MLIST))
                (measuringResult ?MLIST ?RLIST)
                (equal ?NLIST
                    (PhysicalQuantityToNumberFn ?RLIST))
                (equal ?SPEED
                    (MeasureFn
                        (AverageFn ?NLIST) ?UNIT))))))
Weather.kif 2327-2344

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


(=>
    (and
        (instance ?H Hurricane)
        (instance ?SS SSHWS5)
        (eventLocated ?H ?AREA)
        (believes ?A
            (property ?H ?SS)))
    (exists (?WIND)
        (and
            (greaterThan ?WIND 157.0)
            (believes ?A
                (equal
                    (MeasureFn ?WIND MilesPerHour)
                    (Mean1MinuteWindSpeedFn ?AREA
                        (WhenFn ?H)))))))
Weather.kif 2442-2456
(=>
    (and
        (instance ?H Hurricane)
        (instance ?SS SSHWSAttribute)
        (eventLocated ?H ?AREA)
        (believes ?A
            (property ?H ?SS))
        (speedScaleAttributeMinMax ?SS
            (MeasureFn ?MIN ?U)
            (MeasureFn ?MAX ?U))
        (instance ?U UnitOfMeasure))
    (exists (?WIND)
        (and
            (greaterThanOrEqualTo ?WIND ?MIN)
            (lessThanOrEqualTo ?WIND ?MAX)
            (believes ?A
                (equal
                    (MeasureFn ?WIND ?U)
                    (Mean1MinuteWindSpeedFn ?AREA
                        (WhenFn ?H)))))))
Weather.kif 2364-2383
(=>
    (instance ?H Hurricane)
    (exists (?TC ?PLACE ?WIND)
        (and
            (instance ?TC TropicalCyclone)
            (instance ?PLACE GeographicArea)
            (eventLocated ?TC ?PLACE)
            (equal
                (MeasureFn ?WIND MilesPerHour)
                (Mean1MinuteWindSpeedFn ?PLACE
                    (WhenFn ?TC)))
            (greaterThanOrEqualTo ?WIND 74.0))))
Weather.kif 740-751
(=>
    (instance ?TC TropicalCyclone)
    (exists (?PLACE ?WIND)
        (and
            (instance ?PLACE GeographicArea)
            (eventLocated ?TC ?PLACE)
            (equal
                (MeasureFn ?WIND MilesPerHour)
                (Mean1MinuteWindSpeedFn ?PLACE
                    (WhenFn ?TC)))
            (greaterThanOrEqualTo ?WIND 44.0))))
Weather.kif 681-691
(=>
    (instance ?TD TropicalDepression)
    (exists (?PLACE ?WIND)
        (and
            (instance ?PLACE GeographicArea)
            (eventLocated ?TD ?PLACE)
            (equal
                (MeasureFn ?WIND MilesPerHour)
                (Mean1MinuteWindSpeedFn ?PLACE
                    (WhenFn ?TD)))
            (lessThanOrEqualTo ?WIND 38.0))))
Weather.kif 660-670
(=>
    (instance ?TS TropicalStorm)
    (exists (?PLACE ?WIND)
        (and
            (instance ?PLACE GeographicArea)
            (eventLocated ?TS ?PLACE)
            (equal
                (MeasureFn ?WIND MilesPerHour)
                (Mean1MinuteWindSpeedFn ?PLACE
                    (WhenFn ?TS)))
            (greaterThanOrEqualTo ?WIND 39.0)
            (lessThanOrEqualTo ?WIND 74.0))))
Weather.kif 716-727


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