| WeatherProcess
| |
| appearance as argument number 1 |
|
|
| (disjoint WeatherProcess IntentionalProcess) | Merge.kif 11321-11321 | |
| (documentation WeatherProcess ChineseLanguage "WeatherProcess 是涉及天气意义最宽博的过程类别， 它包括天气季节(请不要和 SeasonOfYear 的实例混淆)，天气系统和短期天气事件。") | chinese_format.kif 3017-3018 | |
| (documentation WeatherProcess EnglishLanguage "WeatherProcess is the broadest class of processes that involve weather, including weather seasons (not to be confused with instances of SeasonOfYear), weather systems, and short-term weather events.") | Merge.kif 11323-11326 | |
| (documentation WeatherProcess JapaneseLanguage "WeatherProcess は、気象シーズンを含む最も 広範なプロセスクラスである (SeasonOfYear、気象システム、短期気象イベントのインスタンスと混同し ないよう注意)。") | japanese_format.kif 1781-1783 | |
| (externalImage WeatherProcess "http://articulatesoftware.com/SUMOpictures/ weather/ showers.png") | pictureList.kif 2060-2060 | |
| (externalImage WeatherProcess "http://upload.wikimedia.org/wikipedia/commons/ a/ a9/ Polarlicht.jpg") | pictureList.kif 8793-8793 | |
| (externalImage WeatherProcess "http://upload.wikimedia.org/wikipedia/commons/ d/ da/ Rolling_thunder_cloud.jpg") | pictureList.kif 9812-9812 | |
| (subclass WeatherProcess Motion) | Merge.kif 11320-11320 |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain precipitationState 1 WeatherProcess) | Weather.kif 1170-1170 | |
| (domainSubclass weatherThreat 1 WeatherProcess) | Weather.kif 3211-3211 |
| consequent |
|
|
| (=> (instance ?WA WeatherAssessment) (containsFormula ?WA (exists (?R ?A ?WP) (and (instance ?R Reasoning) (instance ?A CognitiveAgent) (agent ?R ?A) (instance ?WP WeatherProcess) (patient ?R ?WP) (result ?R ?WA) (earlier (WhenFn ?WP) (WhenFn ?WA)))))) |
Weather.kif 3175-3186 | |
| (=> (instance ?WF WeatherForecast) (containsInformation ?WF (exists (?A) (believes ?A (exists (?WP) (and (instance ?WP WeatherProcess) (during (ImmediateFutureFn (WhenFn ?WF)) (WhenFn ?WP)))))))) |
Weather.kif 3194-3204 |
|
|
|