WeatherProcess - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint WeatherProcess IntentionalProcess)	Merge.kif 11358-11358	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 11360-11363	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 11357-11357	Weather process is a subclass of motion

appearance as argument number 2

(subclass AtmosphericHazing WeatherProcess)	Weather.kif 3886-3886	Atmospheric hazing is a subclass of weather process
(subclass ClearWeather WeatherProcess)	Weather.kif 1570-1570	Clear weather is a subclass of weather process
(subclass Desertification WeatherProcess)	Weather.kif 3808-3808	Desertification is a subclass of weather process
(subclass Drought WeatherProcess)	Weather.kif 3790-3790	Drought is a subclass of weather process
(subclass ElNinoSouthernOscillation WeatherProcess)	Weather.kif 507-507	El nino southern oscillation is a subclass of weather process
(subclass Fogging WeatherProcess)	Weather.kif 3857-3857	Fog is a subclass of weather process
(subclass Frosting WeatherProcess)	Weather.kif 4103-4103	Frosting is a subclass of weather process
(subclass HeavySurf WeatherProcess)	Weather.kif 2878-2878	Heavy zone is a subclass of weather process
(subclass Icing WeatherProcess)	Weather.kif 3835-3835	Icing is a subclass of weather process
(subclass Lightning WeatherProcess)	Weather.kif 1409-1409	Lightning is a subclass of weather process
(subclass OvercastWeather WeatherProcess)	Weather.kif 1620-1620	Overcast weather is a subclass of weather process
(subclass PartlyCloudyWeather WeatherProcess)	Weather.kif 1593-1593	Partly cloudy weather is a subclass of weather process
(subclass Precipitation WeatherProcess)	Merge.kif 11365-11365	Precipitation is a subclass of weather process
(subclass Storm WeatherProcess)	Weather.kif 4214-4214	Storm is a subclass of weather process
(subclass StormSystem WeatherProcess)	Weather.kif 1252-1252	Storm system is a subclass of weather process
(subclass Thunder WeatherProcess)	Weather.kif 1471-1471	Thunder is a subclass of weather process
(subclass Tsunami WeatherProcess)	Weather.kif 3783-3783	Tsunami is a subclass of weather process
(subclass Waterspout WeatherProcess)	Weather.kif 1483-1483	Waterspout is a subclass of weather process
(subclass WeatherFront WeatherProcess)	Weather.kif 1254-1254	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 965-965	Weather system is a subclass of weather process
(subclass Wind WeatherProcess)	Weather.kif 1934-1934	Wind is a subclass of weather process
(termFormat ChineseLanguage WeatherProcess "天气过程")	domainEnglishFormat.kif 62606-62606	Wind is a subclass of weather process
(termFormat ChineseTraditionalLanguage WeatherProcess "天氣過程")	domainEnglishFormat.kif 62605-62605	Wind is a subclass of weather process
(termFormat EnglishLanguage WeatherProcess "weather process")	domainEnglishFormat.kif 62604-62604	Wind 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 1879-1879	The number 1 argument of precipitation state is an instance of weather process
(domainSubclass weatherThreat 1 WeatherProcess)	Weather.kif 4553-4553	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 4517-4528	If a content bearing physical is an instance of weather assessment, then the content bearing physical contains the formula there exist an entity, another entity and a third entity such that the entity is an instance of reasoning and the other entity is an instance of cognitive agent and the other entity is an agent of the entity and the third entity is an instance of weather process and the third entity is a patient of the entity and the content bearing physical is a result of the entity and the time of existence of the third entity happens earlier than the time of existence of the content bearing physical
(=> (instance ?WF WeatherForecast) (containsInformation ?WF (exists (?A) (believes ?A (exists (?WP) (and (instance ?WP WeatherProcess) (during (ImmediateFutureFn (WhenFn ?WF)) (WhenFn ?WP))))))))	Weather.kif 4536-4546	If a content bearing physical is an instance of weather forecast, then the content bearing physical contains information there exists an entity such that the entity believes there exists another entity such that the other entity is an instance of weather process and immediately after the time of existence of the content bearing physical takes place during the time of existence of the other entity

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

KB Term:			Term intersection

English Word: