Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - WeatherProcess
WeatherProcess(weather process)
atmospheric_condition, cold_wave, conditions, elements, equinoctial_storm, heat_wave, line_storm, wave, weather, weather_condition

appearance as argument number 1
-------------------------


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

appearance as argument number 2
-------------------------


(subclass AtmosphericHazing WeatherProcess) Weather.kif 3247-3247 Atmospheric hazing is a subclass of weather process
(subclass ClearWeather WeatherProcess) Weather.kif 1112-1112 Clear weather is a subclass of weather process
(subclass Desertification WeatherProcess) Weather.kif 3169-3169 Desertification is a subclass of weather process
(subclass Drought WeatherProcess) Weather.kif 3151-3151 Drought is a subclass of weather process
(subclass Fogging WeatherProcess) Weather.kif 3218-3218 Fog is a subclass of weather process
(subclass Frosting WeatherProcess) Weather.kif 3464-3464 Frosting is a subclass of weather process
(subclass HeavySurf WeatherProcess) Weather.kif 2239-2239 Heavy zone is a subclass of weather process
(subclass Icing WeatherProcess) Weather.kif 3196-3196 Icing is a subclass of weather process
(subclass Lightning WeatherProcess) Weather.kif 951-951 Lightning is a subclass of weather process
(subclass OvercastWeather WeatherProcess) Weather.kif 1162-1162 Overcast weather is a subclass of weather process
(subclass PartlyCloudyWeather WeatherProcess) Weather.kif 1135-1135 Partly cloudy weather is a subclass of weather process
(subclass Precipitation WeatherProcess) Merge.kif 11343-11343 Precipitation is a subclass of weather process
(subclass Storm WeatherProcess) Weather.kif 3575-3575 Storm is a subclass of weather process
(subclass StormSystem WeatherProcess) Weather.kif 794-794 Storm system is a subclass of weather process
(subclass Thunder WeatherProcess) Weather.kif 1013-1013 Thunder is a subclass of weather process
(subclass Tsunami WeatherProcess) Weather.kif 3144-3144 Tsunami is a subclass of weather process
(subclass Waterspout WeatherProcess) Weather.kif 1025-1025 Waterspout is a subclass of weather process
(subclass WeatherFront WeatherProcess) Weather.kif 796-796 Weather front is a subclass of weather process
(subclass WeatherSeason WeatherProcess) Weather.kif 491-491 Weather season is a subclass of weather process
(subclass WeatherSystem WeatherProcess) Weather.kif 509-509 Weather system is a subclass of weather process
(subclass Wind WeatherProcess) Weather.kif 1476-1476 Wind is a subclass of weather process
(subclass Zud WeatherProcess) Weather.kif 2016-2016 Zud is a subclass of weather process
(termFormat ChineseLanguage WeatherProcess "天气过程") domainEnglishFormat.kif 62607-62607 Zud is a subclass of weather process
(termFormat ChineseTraditionalLanguage WeatherProcess "天氣過程") domainEnglishFormat.kif 62606-62606 Zud is a subclass of weather process
(termFormat EnglishLanguage WeatherProcess "weather process") domainEnglishFormat.kif 62605-62605 Zud is a subclass of weather process

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


(domain precipitationState 1 WeatherProcess) Weather.kif 1421-1421 The number 1 argument of precipitation state is an instance of weather process
(domainSubclass weatherThreat 1 WeatherProcess) Weather.kif 3914-3914 The number 1 argument of weather threat is a subclass of weather process

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 3878-3889
(=>
    (instance ?WF WeatherForecast)
    (containsInformation ?WF
        (exists (?A)
            (believes ?A
                (exists (?WP)
                    (and
                        (instance ?WP WeatherProcess)
                        (during
                            (ImmediateFutureFn
                                (WhenFn ?WF))
                            (WhenFn ?WP))))))))
Weather.kif 3897-3907


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