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

Formal Language: 



KB Term:  Term intersection
English Word: 

  rainfallIntensity

Sigma KEE - rainfallIntensity
rainfallIntensity

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


(documentation rainfallIntensity ChineseLanguage "rainfallIntensity 是一个 TernaryPredicate。它是 Raining 在一处 GeographicArea 在一段 TimeInterval 的频率。") Weather.kif 2821-2822
(documentation rainfallIntensity EnglishLanguage "rainfallIntensity is a TernaryPredicate. It is the rate of Raining in a Region over a TimeInterval.") Weather.kif 2818-2820
(domain rainfallIntensity 1 GeographicArea) Weather.kif 2825-2825 The number 1 argument of rainfall intensity is an instance of geographic area
(domain rainfallIntensity 2 TimeInterval) Weather.kif 2826-2826 The number 2 argument of rainfall intensity is an instance of time interval
(domain rainfallIntensity 3 FunctionQuantity) Weather.kif 2827-2827 The number 3 argument of rainfall intensity is an instance of function quantity
(instance rainfallIntensity TernaryPredicate) Weather.kif 2828-2828 rainfall intensity is an instance of ternary predicate

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 2824-2824
(termFormat EnglishLanguage rainfallIntensity "rainfall intensity") Weather.kif 2823-2823

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 2830-2855

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 1109-1123


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