TreeView Knowledge Base Browser

appearance as argument number 1

(documentation rainfallIntensity ChineseLanguage "rainfallIntensity 是一个 TernaryPredicate。它是 Raining 在一处 GeographicArea 在一段 TimeInterval 的频率。")	Weather.kif 2394-2395
(documentation rainfallIntensity EnglishLanguage "rainfallIntensity is a TernaryPredicate. It is the rate of Raining in a Region over a TimeInterval.")	Weather.kif 2391-2393
(domain rainfallIntensity 1 GeographicArea)	Weather.kif 2398-2398
(domain rainfallIntensity 2 TimeInterval)	Weather.kif 2399-2399
(domain rainfallIntensity 3 FunctionQuantity)	Weather.kif 2400-2400
(instance rainfallIntensity TernaryPredicate)	Weather.kif 2401-2401

appearance as argument number 2

(format ChineseLanguage rainfallIntensity "rain 的 rate 在 %1 期间 %2 是 %3 ")	domainEnglishFormat.kif 4331-4331
(format ChineseTraditionalLanguage rainfallIntensity "rain 的 rate 在 %1 期間 %2 是 %3 ")	domainEnglishFormat.kif 4330-4330
(format EnglishLanguage rainfallIntensity "the rate of rain in %1 during %2 is %3")	domainEnglishFormat.kif 4329-4329
(termFormat ChineseLanguage rainfallIntensity "降雨强度")	Weather.kif 2397-2397
(termFormat EnglishLanguage rainfallIntensity "rainfall intensity")	Weather.kif 2396-2396

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 2403-2428

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 854-868

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: