TreeView 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	Le nombre 1 argument de rainfallIntensity est une instance de secteur g�ographique
(domain rainfallIntensity 2 TimeInterval)	Weather.kif 3656-3656	Le nombre 2 argument de rainfallIntensity est une instance de interval temporel
(domain rainfallIntensity 3 FunctionQuantity)	Weather.kif 3657-3657	Le nombre 3 argument de rainfallIntensity est une instance de function de quantit�
(instance rainfallIntensity TernaryPredicate)	Weather.kif 3658-3658	rainfallIntensity est une instance de pr�dicat ternaire

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 secteur g�ographique, interval temporel and function de quantit�
transf�re collection, physique, objet en une partie, entit�, objet en une partie and transf�reFALL transf�re est une instance de Raining eventLocated transf�re and secteur g�ographique temps d'existence de transf�re prend place pendant interval temporel collection est une instance de collection objectTransferred transf�re and collection physique est une instance de eau physique est un membre de collection objet en une partie est une instance de Container l' arri�re de objet en une partie est objet en une partie Flat est un attribut de objet en une partie objet en une partie est situ� � secteur g�ographique ContainerEmpty est un attribut de objet en une partie pendant le d�but de interval temporel collection est situ� � objet en une partie le dessus de collection est entit� depth entit�, objet en une partie and transf�reFALL equal transf�reFALL and interval temporel + function de quantit� pendant la fin de interval temporel

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

Physique est une instance de HeavyRaining
entit� entit� entit� est une instance de r�gion eventLocated physique and entit� rainfallIntensity entit�, temps d'existence de physique and PerFn entit� Millimeter(s) and 1 HourDuration(s) entit� est plus grand que 10.0 50.0 est plus grand que entit� pendant temps d'existence de physique

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

KB Term:			Term intersection

English Word: