rainfallIntensity - Sigma Knowledge base Browser

appearance as argument number 1

(documentation rainfallIntensity ChineseLanguage "rainfallIntensity 是一个 TernaryPredicate。它是 Raining 在一处 GeographicArea 在一段 TimeInterval 的频率。")	Weather.kif 1331-1332
(documentation rainfallIntensity EnglishLanguage "rainfallIntensity is a TernaryPredicate. It is the rate of Raining in a Region over a TimeInterval.")	Weather.kif 1327-1329
(domain rainfallIntensity 1 GeographicArea)	Weather.kif 1338-1338	domain rainfallIntensity, 1 and GeographicArea
(domain rainfallIntensity 2 TimeInterval)	Weather.kif 1340-1340	domain rainfallIntensity, 2 and TimeInterval
(domain rainfallIntensity 3 FunctionQuantity)	Weather.kif 1342-1342	domain rainfallIntensity, 3 and FunctionQuantity
(instance rainfallIntensity TernaryPredicate)	Weather.kif 1344-1344	instance rainfallIntensity and TernaryPredicate

appearance as argument number 2

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

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 1346-1371

rainfallIntensity GeographicArea, TimeInterval and FunctionQuantity
Transfer Collection, Object, SelfConnectedObject, entity, SelfConnectedObject and TransferFALL instance Transfer and Raining eventLocated Transfer and GeographicArea during WhenFn Transfer and TimeInterval instance Collection and Collection objectTransferred Transfer and Collection instance Object and Water member Object and Collection instance SelfConnectedObject and Container bottom SelfConnectedObject and SelfConnectedObject attribute SelfConnectedObject and Flat located SelfConnectedObject and GeographicArea holdsDuring BeginFn TimeInterval and attribute SelfConnectedObject and ContainerEmpty holdsDuring EndFn TimeInterval and located Collection and SelfConnectedObject top entity and Collection depth entity, SelfConnectedObject and TransferFALL equal TransferFALL and MultiplicationFn TimeInterval and FunctionQuantity

consequent

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

Weather.kif 720-734

instance Physical and HeavyRaining
holdsDuring WhenFn Physical and entity instance entity and Region eventLocated Physical and entity rainfallIntensity entity, WhenFn Physical and PerFn MeasureFn entity and Millimeter and MeasureFn 1 and HourDuration greaterThan entity and 10 greaterThan 50 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: