Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| rainfallIntensity |
| appearance as argument number 1 |
|
| (documentation rainfallIntensity EnglishLanguage "rainfallIntensity is a TernaryPredicate. It is the rate of Raining in a Region over a TimeInterval.") | Weather.kif 4086-4088 | |
| (documentation rainfallIntensity ChineseLanguage "rainfallIntensity 是一个 TernaryPredicate。它是 Raining 在一处 GeographicArea 在一段 TimeInterval 的频率。") | Weather.kif 4089-4090 | |
| (domain rainfallIntensity 1 GeographicArea) | Weather.kif 4093-4093 | The number 1 argument of rainfall intensity is an instance of geographic area |
| (domain rainfallIntensity 2 TimeInterval) | Weather.kif 4094-4094 | The number 2 argument of rainfall intensity is an instance of timeframe |
| (domain rainfallIntensity 3 FunctionQuantity) | Weather.kif 4095-4095 | The number 3 argument of rainfall intensity is an instance of function quantity |
| (instance rainfallIntensity TernaryPredicate) | Weather.kif 4096-4096 | rainfall intensity is an instance of ternary predicate |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage rainfallIntensity "rainfall intensity") | Weather.kif 4091-4091 | |
| (termFormat ChineseLanguage rainfallIntensity "降雨强度") | Weather.kif 4092-4092 | |
| (format EnglishLanguage rainfallIntensity "the rate of rain in %1 during %2 is %3") | domainEnglishFormat.kif 4324-4324 | |
| (format ChineseTraditionalLanguage rainfallIntensity "rain 的 rate 在 %1 期間 %2 是 %3 ") | domainEnglishFormat.kif 4325-4325 | |
| (format ChineseLanguage rainfallIntensity "rain 的 rate 在 %1 期间 %2 是 %3 ") | domainEnglishFormat.kif 4326-4326 |
| 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 CollectionOfObjects) (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 4098-4123 | If the rate of rain in X during Y is Z, then All of the following hold: (1) there exist W, V,, , U,, , T,, , S,, , R (2) Q such that W is an instance of raining (3) W is located at X (4) the time of existence of W takes place during Y (5) V is an instance of collection (6) the object transferred in W is V (7) U is an instance of water (8) U is a member of V (9) T is an instance of container (10) the bottom of T is R (11) flat is an attribute of R (12) T is located at X (13) container empty is an attribute of T holds during the beginning of Y (14) V is located at T (15) the top of V is S (16) the depth from S to R is Q (17) equal Q (18) Y (19) Z holds during the end of Y |
| 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 1789-1803 | If X is an instance of heavy raining, then there exist Y and Z such that Y is an instance of region and X is located at Y and the rate of rain in Y during the time of existence of X is the per of Z millimeter(s) and 1 hour duration(s) and Z is greater than 10.0 and 50.0 is greater than Z holds during the time of existence of X |
|