snowfallIntensity |
appearance as argument number 1 |
(documentation snowfallIntensity ChineseLanguage "snowfallIntensity 是一个 TernaryPredicate。它是 Snowing 在一处 GeographicArea 在一段 TimeInterval 的频率。") | Weather.kif 3021-3022 | |
(documentation snowfallIntensity EnglishLanguage "snowfallIntensity is a TernaryPredicate. It is the rate of Snowing in a GeographicArea over a TimeInterval.") | Weather.kif 3018-3020 | |
(domain snowfallIntensity 1 GeographicArea) | Weather.kif 3026-3026 | Die Zahl 1 Argument von snowfallIntensity ist ein fall von GeographicArea %n{nicht} |
(domain snowfallIntensity 2 TimeInterval) | Weather.kif 3027-3027 | Die Zahl 2 Argument von snowfallIntensity ist ein fall von TimeInterval %n{nicht} |
(domain snowfallIntensity 3 FunctionQuantity) | Weather.kif 3028-3028 | Die Zahl 3 Argument von snowfallIntensity ist ein fall von FunctionQuantity %n{nicht} |
(instance snowfallIntensity TernaryPredicate) | Weather.kif 3029-3029 | snowfallIntensity ist ein fall von TernaryPredicate %n{nicht} |
appearance as argument number 2 |
(format ChineseLanguage snowfallIntensity "snow 的下降 rate 在 %1 期间 %2 是 %3 ") | domainEnglishFormat.kif 4550-4550 | |
(format ChineseTraditionalLanguage snowfallIntensity "snow 的下降 rate 在 %1 期間 %2 是 %3 ") | domainEnglishFormat.kif 4549-4549 | |
(format EnglishLanguage snowfallIntensity "the rate of snow falling at %1 during %2 is %3") | domainEnglishFormat.kif 4548-4548 | |
(termFormat ChineseLanguage snowfallIntensity "降雪强度") | Weather.kif 3025-3025 | |
(termFormat EnglishLanguage snowfallIntensity "snowfall intensity") | Weather.kif 3024-3024 |
antecedent |
consequent |
(=> (instance ?SNOWSTORM Snowstorm) (holdsDuring (WhenFn ?SNOWSTORM) (exists (?SNOW ?AREA ?NUM) (and (instance ?SNOW Snowing) (instance ?AREA GeographicArea) (eventLocated ?SNOW ?AREA) (subProcess ?SNOW ?SNOWSTORM) (snowfallIntensity ?AREA (WhenFn ?SNOW) (PerFn (MeasureFn ?NUM Centimeter) (MeasureFn 1 HourDuration))) (greaterThan ?NUM 5.0))))) |
Weather.kif 2936-2951 |
|