| WeatherProcess
| |
| appearance as argument number 1 |
|
|
| (disjoint WeatherProcess IntentionalProcess) | Merge.kif 11336-11336 | WeatherProcess と 意図的なプロセス は disjoint では |
| (documentation WeatherProcess ChineseLanguage "WeatherProcess 是涉及天气意义最宽博的过程类别， 它包括天气季节(请不要和 SeasonOfYear 的实例混淆)，天气系统和短期天气事件。") | chinese_format.kif 3017-3018 | WeatherProcess と 意図的なプロセス は disjoint では |
| (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 11338-11341 | WeatherProcess と 意図的なプロセス は disjoint では |
| (documentation WeatherProcess JapaneseLanguage "WeatherProcess は、気象シーズンを含む最も 広範なプロセスクラスである (SeasonOfYear、気象システム、短期気象イベントのインスタンスと混同し ないよう注意)。") | japanese_format.kif 1781-1783 | WeatherProcess と 意図的なプロセス は disjoint では |
| (externalImage WeatherProcess "http://articulatesoftware.com/SUMOpictures/ weather/ showers.png") | pictureList.kif 2060-2060 | WeatherProcess と 意図的なプロセス は disjoint では |
| (externalImage WeatherProcess "http://upload.wikimedia.org/wikipedia/commons/ a/ a9/ Polarlicht.jpg") | pictureList.kif 8793-8793 | WeatherProcess と 意図的なプロセス は disjoint では |
| (externalImage WeatherProcess "http://upload.wikimedia.org/wikipedia/commons/ d/ da/ Rolling_thunder_cloud.jpg") | pictureList.kif 9812-9812 | WeatherProcess と 意図的なプロセス は disjoint では |
| (subclass WeatherProcess Motion) | Merge.kif 11335-11335 | WeatherProcess は motion の subclass では |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain precipitationState 1 WeatherProcess) | Weather.kif 1421-1421 | precipitationState の数値 1 引数は WeatherProcess の instance では |
| (domainSubclass weatherThreat 1 WeatherProcess) | Weather.kif 3953-3953 | weatherThreat の数値 1 引数は WeatherProcess のsubclass では |
| consequent |
|
|
|
|
|