| appearance as argument number 1 |
|
| (documentation snowfallIntensity ChineseLanguage "snowfallIntensity 是一个 TernaryPredicate。它是 Snowing 在一处 GeographicArea 在一段 TimeInterval 的频率。") | Weather.kif 2598-2599 | |
| (documentation snowfallIntensity EnglishLanguage "snowfallIntensity is a TernaryPredicate. It is the rate of Snowing in a GeographicArea over a TimeInterval.") | Weather.kif 2595-2597 | |
| (domain snowfallIntensity 1 GeographicArea) | Weather.kif 2603-2603 | |
| (domain snowfallIntensity 2 TimeInterval) | Weather.kif 2604-2604 | |
| (domain snowfallIntensity 3 FunctionQuantity) | Weather.kif 2605-2605 | |
| (instance snowfallIntensity TernaryPredicate) | Weather.kif 2606-2606 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage snowfallIntensity "snow 的下降 rate 在 %1 期间 %2 是 %3 ") | domainEnglishFormat.kif 4559-4559 | |
| (format ChineseTraditionalLanguage snowfallIntensity "snow 的下降 rate 在 %1 期間 %2 是 %3 ") | domainEnglishFormat.kif 4558-4558 | |
| (format EnglishLanguage snowfallIntensity "the rate of snow falling at %1 during %2 is %3") | domainEnglishFormat.kif 4557-4557 | |
| (termFormat ChineseLanguage snowfallIntensity "降雪强度") | Weather.kif 2602-2602 | |
| (termFormat EnglishLanguage snowfallIntensity "snowfall intensity") | Weather.kif 2601-2601 |
| antecedent |
|
|
| (=> (snowfallIntensity ?AREA ?TIME ?RATE) (exists (?PROCESS ?STUFF ?BOARD ?TOP ?BOTTOM ?SNOWFALL) (and (instance ?PROCESS Snowing) (eventLocated ?PROCESS ?AREA) (during (WhenFn ?PROCESS) ?TIME) (instance ?STUFF Snow) (objectTransferred ?PROCESS ?STUFF) (instance ?BOARD BoardOrBlock) (bottom ?BOTTOM ?BOARD) (attribute ?BOTTOM Flat) (located ?BOARD ?AREA) (holdsDuring (BeginFn ?TIME) (not (exists (?X) (and (instance ?X Object) (located ?X ?BOARD))))) (holdsDuring (EndFn ?TIME) (and (located ?STUFF ?BOARD) (top ?TOP ?STUFF) (depth ?TOP ?BOTTOM ?SNOWFALL) (equal ?SNOWFALL (MultiplicationFn ?TIME ?RATE))))))) |
Weather.kif 2608-2635 |
| 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))))) |
Weather.kif 2513-2528 |
|
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