rainfallIntensity - Sigma Knowledge base Browser

appearance as argument number 2

(format ChineseLanguage rainfallIntensity "rain 的 rate 在 %1 期间 %2 是 %3 ")	domainEnglishFormat.kif 4322-4322
(format ChineseTraditionalLanguage rainfallIntensity "rain 的 rate 在 %1 期間 %2 是 %3 ")	domainEnglishFormat.kif 4321-4321
(format EnglishLanguage rainfallIntensity "the rate of rain in %1 during %2 is %3")	domainEnglishFormat.kif 4320-4320
(termFormat ChineseLanguage rainfallIntensity "降雨强度")	Weather.kif 2820-2820
(termFormat EnglishLanguage rainfallIntensity "rainfall intensity")	Weather.kif 2819-2819

antecedent

(=>
    (rainfallIntensity ?AREA ?TIME ?RATE)
    (exists (?RAIN ?CLTN ?R ?BUCKET ?TOP ?BOTTOM ?RAINFALL)
        (and
            (instance ?RAIN Raining)
            (eventLocated ?RAIN ?AREA)
            (during
                (WhenFn ?RAIN) ?TIME)
            (instance ?CLTN Collection)
            (objectTransferred ?RAIN ?CLTN)
            (instance ?R Water)
            (member ?R ?CLTN)
            (instance ?BUCKET Container)
            (bottom ?BOTTOM ?BUCKET)
            (attribute ?BOTTOM Flat)
            (located ?BUCKET ?AREA)
            (holdsDuring
                (BeginFn ?TIME)
                (attribute ?BUCKET ContainerEmpty))
            (holdsDuring
                (EndFn ?TIME)
                (and
                    (located ?CLTN ?BUCKET)
                    (top ?TOP ?CLTN)
                    (depth ?TOP ?BOTTOM ?RAINFALL)
                    (equal ?RAINFALL
                        (MultiplicationFn ?TIME ?RATE)))))))

Weather.kif 2826-2851

rain 的 rate 在 GeographicArea 期間 TimeInterval 是 FunctionQuantity
Transfer Collection, Physical, SelfConnectedObject, entity, SelfConnectedObject and TransferFALL 例 Transfer and 下雨 Transfer 是 located 在 GeographicArea 期間何時 Transfer and TimeInterval 例 Collection and Collection objectTransferred Transfer and Collection 例 Physical and Water 會員 Physical and Collection 例 SelfConnectedObject and 容器底部 SelfConnectedObject and SelfConnectedObject attribute SelfConnectedObject and 平面位於 SelfConnectedObject and GeographicArea 持有期間開始 TimeInterval and attribute SelfConnectedObject and 空容器持有期間結束 TimeInterval and 位於 Collection and SelfConnectedObject 上 entity and Collection 對於 SelfConnectedObject 從 entity 的 depth 是 TransferFALL 等於 TransferFALL and 乘法 TimeInterval and FunctionQuantity

consequent

(=>
    (instance ?HR HeavyRaining)
    (holdsDuring
        (WhenFn ?HR)
        (exists (?AREA ?NUM)
            (and
                (instance ?AREA Region)
                (eventLocated ?HR ?AREA)
                (rainfallIntensity ?AREA
                    (WhenFn ?HR)
                    (PerFn
                        (MeasureFn ?NUM Millimeter)
                        (MeasureFn 1 HourDuration)))
                (greaterThan ?NUM 10.0)
                (greaterThan 50.0 ?NUM)))))

Weather.kif 1105-1119

例 Physical and 大雨
持有期間何時 Physical and entity entity 例 entity and Region Physical 是 located 在 entity rain 的 rate 在 entity 期間何時 Physical 是測量 1 and 小時是測量 entity and 毫米的 per 比較多 entity and 10.0 比較多 50.0 and entity

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

(documentation rainfallIntensity ChineseLanguage "rainfallIntensity 是一个 TernaryPredicate。它是 Raining 在一处 GeographicArea 在一段 TimeInterval 的频率。")	Weather.kif 2817-2818
(documentation rainfallIntensity EnglishLanguage "rainfallIntensity is a TernaryPredicate. It is the rate of Raining in a Region over a TimeInterval.")	Weather.kif 2814-2816
(domain rainfallIntensity 1 GeographicArea)	Weather.kif 2821-2821	域 rainfallIntensity, 1 and GeographicArea
(domain rainfallIntensity 2 TimeInterval)	Weather.kif 2822-2822	域 rainfallIntensity, 2 and TimeInterval
(domain rainfallIntensity 3 FunctionQuantity)	Weather.kif 2823-2823	域 rainfallIntensity, 3 and FunctionQuantity
(instance rainfallIntensity TernaryPredicate)	Weather.kif 2824-2824	例 rainfallIntensity and TernaryPredicate

KB Term:			Term intersection

English Word: