snowfallIntensity |
appearance as argument number 1 |
![]() |
(documentation snowfallIntensity ChineseLanguage "snowfallIntensity 是一个 TernaryPredicate。它是 Snowing 在一处 GeographicArea 在一段 TimeInterval 的频率。") | Weather.kif 3855-3856 | |
(documentation snowfallIntensity EnglishLanguage "snowfallIntensity is a TernaryPredicate. It is the rate of Snowing in a GeographicArea over a TimeInterval.") | Weather.kif 3852-3854 | |
(domain snowfallIntensity 1 GeographicArea) | Weather.kif 3860-3860 | The number 1 argument of snowfall intensity is an instance of geographic area |
(domain snowfallIntensity 2 TimeInterval) | Weather.kif 3861-3861 | The number 2 argument of snowfall intensity is an instance of time interval |
(domain snowfallIntensity 3 FunctionQuantity) | Weather.kif 3862-3862 | The number 3 argument of snowfall intensity is an instance of function quantity |
(instance snowfallIntensity TernaryPredicate) | Weather.kif 3863-3863 | snowfall intensity is an instance of ternary predicate |
appearance as argument number 2 |
![]() |
(format ChineseLanguage snowfallIntensity "snow 的下降 rate 在 %1 期间 %2 是 %3 ") | domainEnglishFormat.kif 4554-4554 | |
(format ChineseTraditionalLanguage snowfallIntensity "snow 的下降 rate 在 %1 期間 %2 是 %3 ") | domainEnglishFormat.kif 4553-4553 | |
(format EnglishLanguage snowfallIntensity "the rate of snow falling at %1 during %2 is %3") | domainEnglishFormat.kif 4552-4552 | |
(termFormat ChineseLanguage snowfallIntensity "降雪强度") | Weather.kif 3859-3859 | |
(termFormat EnglishLanguage snowfallIntensity "snowfall intensity") | Weather.kif 3858-3858 |
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 3770-3785 |
|
![]() |
![]() |