| 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 4130-4132 | |
| (documentation rainfallIntensity ChineseLanguage "rainfallIntensity 是一个 TernaryPredicate。它是 Raining 在一处 GeographicArea 在一段 TimeInterval 的频率。") | Weather.kif 4133-4134 | |
| (domain rainfallIntensity 1 GeographicArea) | Weather.kif 4137-4137 | The number 1 argument of rainfall intensity is an instance of geographic area |
| (domain rainfallIntensity 2 TimeInterval) | Weather.kif 4138-4138 | The number 2 argument of rainfall intensity is an instance of timeframe |
| (domain rainfallIntensity 3 FunctionQuantity) | Weather.kif 4139-4139 | The number 3 argument of rainfall intensity is an instance of function quantity |
| (instance rainfallIntensity TernaryPredicate) | Weather.kif 4140-4140 | rainfall intensity is an instance of ternary predicate |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage rainfallIntensity "rainfall intensity") | Weather.kif 4135-4135 | |
| (termFormat ChineseLanguage rainfallIntensity "降雨强度") | Weather.kif 4136-4136 | |
| (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 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 4142-4167 | 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 1802-1816 | 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 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners