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 |
![]() |
![]() |
![]() |