rainfallIntensity |
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 | |
(domain rainfallIntensity 2 TimeInterval) | Weather.kif 2822-2822 | |
(domain rainfallIntensity 3 FunctionQuantity) | Weather.kif 2823-2823 | |
(instance rainfallIntensity TernaryPredicate) | Weather.kif 2824-2824 |
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 |
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 |