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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DrinkingWater

 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 2301-2304
(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 2295-2299
(domain Mean1MinuteWindSpeedFn 1 GeographicArea) Weather.kif 2306-2306 Il numero 1 argomenti di Mean1MinuteWindSpeedFn è un istanza di AreaGeografica
(domain Mean1MinuteWindSpeedFn 2 TimeInterval) Weather.kif 2307-2307 Il numero 2 argomenti di Mean1MinuteWindSpeedFn è un istanza di IntervalloTemporale
(instance Mean1MinuteWindSpeedFn BinaryFunction) Weather.kif 2309-2309 Mean1MinuteWindSpeedFn è un' istanza di FunzioneBinaria
(range Mean1MinuteWindSpeedFn FunctionQuantity) Weather.kif 2308-2308 rango di Mean1MinuteWindSpeedFn è un'istanza di FunzioneDiQuantit�

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


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

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 2311-2328

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 2426-2440
(=>
    (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 2348-2367
(=>
    (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 724-735
(=>
    (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 665-675
(=>
    (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 644-654
(=>
    (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 700-711


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