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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - rainfallIntensity
rainfallIntensity

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


(documentation rainfallIntensity ChineseLanguage "rainfallIntensity 是一个 TernaryPredicate。它是 Raining 在一处 GeographicArea 在一段 TimeInterval 的频率。") Weather.kif 3507-3508
(documentation rainfallIntensity EnglishLanguage "rainfallIntensity is a TernaryPredicate. It is the rate of Raining in a Region over a TimeInterval.") Weather.kif 3504-3506
(domain rainfallIntensity 1 GeographicArea) Weather.kif 3511-3511 rainfallIntensity の数値 1 引数は 地理的地域instance では
(domain rainfallIntensity 2 TimeInterval) Weather.kif 3512-3512 rainfallIntensity の数値 2 引数は 時間間隔instance では
(domain rainfallIntensity 3 FunctionQuantity) Weather.kif 3513-3513 rainfallIntensity の数値 3 引数は 関数量instance では
(instance rainfallIntensity TernaryPredicate) Weather.kif 3514-3514 rainfallIntensity3進述語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 3510-3510
(termFormat EnglishLanguage rainfallIntensity "rainfall intensity") Weather.kif 3509-3509

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 3516-3541

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


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