TreeView Knowledge Base Browser

appearance as argument number 1

(documentation rainfallIntensity ChineseLanguage "rainfallIntensity 是一个 TernaryPredicate。它是 Raining 在一处 GeographicArea 在一段 TimeInterval 的频率。")	Weather.kif 2817-2818
(documentation rainfallIntensity EnglishLanguage "rainfallIntensity is a TernaryPredicate. It is the rate of Raining in a Region over a TimeInterval.")	Weather.kif 2814-2816
(domain rainfallIntensity 1 GeographicArea)	Weather.kif 2821-2821	Le nombre 1 argument de rainfallIntensity est une instance de secteur g�ographique
(domain rainfallIntensity 2 TimeInterval)	Weather.kif 2822-2822	Le nombre 2 argument de rainfallIntensity est une instance de interval temporel
(domain rainfallIntensity 3 FunctionQuantity)	Weather.kif 2823-2823	Le nombre 3 argument de rainfallIntensity est une instance de function de quantit�
(instance rainfallIntensity TernaryPredicate)	Weather.kif 2824-2824	rainfallIntensity est une instance de pr�dicat ternaire

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

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 2826-2851

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 transf�reFALL est 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 1105-1119

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: