rainfallIntensity - Sigma Knowledge base Browser

appearance as argument number 1

(documentation rainfallIntensity ChineseLanguage "rainfallIntensity 是一个 TernaryPredicate。它是 Raining 在一处 GeographicArea 在一段 TimeInterval 的频率。")	Weather.kif 3651-3652
(documentation rainfallIntensity EnglishLanguage "rainfallIntensity is a TernaryPredicate. It is the rate of Raining in a Region over a TimeInterval.")	Weather.kif 3648-3650
(domain rainfallIntensity 1 GeographicArea)	Weather.kif 3655-3655	rainfallIntensity の数値 1 引数は地理的地域の instance では
(domain rainfallIntensity 2 TimeInterval)	Weather.kif 3656-3656	rainfallIntensity の数値 2 引数は時間間隔の instance では
(domain rainfallIntensity 3 FunctionQuantity)	Weather.kif 3657-3657	rainfallIntensity の数値 3 引数は関数量の instance では
(instance rainfallIntensity TernaryPredicate)	Weather.kif 3658-3658	rainfallIntensity は 3進述語の instance では

appearance as argument number 2

(format ChineseLanguage rainfallIntensity "rain 的 rate 在 %1 期间 %2 是 %3 ")	domainEnglishFormat.kif 4326-4326
(format ChineseTraditionalLanguage rainfallIntensity "rain 的 rate 在 %1 期間 %2 是 %3 ")	domainEnglishFormat.kif 4325-4325
(format EnglishLanguage rainfallIntensity "the rate of rain in %1 during %2 is %3")	domainEnglishFormat.kif 4324-4324
(termFormat ChineseLanguage rainfallIntensity "降雨强度")	Weather.kif 3654-3654
(termFormat EnglishLanguage rainfallIntensity "rainfall intensity")	Weather.kif 3653-3653

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 3660-3685

rainfallIntensity 地理的地域, 時間間隔 and 関数量
移動コレクション, 物理, 自己接続オブジェクト, エンティティー, 自己接続オブジェクト and 移動FALL 移動は Raining の instance では eventLocated 移動 and 地理的地域移動の time の existence は時間間隔の during に takes コレクションはコレクションの instance では objectTransferred 移動 and コレクション物理は水の instance では物理はコレクションの member では自己接続オブジェクトは Container の instance では自己接続オブジェクトの bottom は自己接続オブジェクトでは Flat は自己接続オブジェクトの attribute では自己接続オブジェクトは地理的地域に located して ContainerEmpty は自己接続オブジェクトの attribute ではは時間間隔の beginning の during holds コレクションは自己接続オブジェクトに located してコレクションの top はエンティティーでは depth エンティティー, 自己接続オブジェクト and 移動FALL equal 移動FALL and 時間間隔 + 関数量は時間間隔の end の during holds

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 1344-1358

物理は HeavyRaining の instance では
エンティティーエンティティーエンティティーは地域の instance では eventLocated 物理 and エンティティー rainfallIntensity エンティティー, 物理の time の existence and PerFn エンティティーの Millimeter(s) and 1 の HourDuration(s) エンティティーは 10.0 より greater では　 50.0 はエンティティーより greater では　は物理の time の existence の during holds

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

KB Term:			Term intersection

English Word: