WeatherProcess - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11257-11257	Weather process is disjoint from intentional process
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3017-3018	Weather process is disjoint from intentional process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11259-11262	Weather process is disjoint from intentional process
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1781-1783	Weather process is disjoint from intentional process
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2060-2060	Weather process is disjoint from intentional process
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8793-8793	Weather process is disjoint from intentional process
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9812-9812	Weather process is disjoint from intentional process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11256-11256	Weather process is a subclass of motion

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2544-2544	Atmospheric hazing is a subclass of weather process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 861-861	Clear weather is a subclass of weather process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2466-2466	Desertification is a subclass of weather process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2448-2448	Drought is a subclass of weather process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2515-2515	Fog is a subclass of weather process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2761-2761	Frosting is a subclass of weather process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1536-1536	Heavy zone is a subclass of weather process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2493-2493	Icing is a subclass of weather process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3031-3031	Lightning is a subclass of weather process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 911-911	Overcast weather is a subclass of weather process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 884-884	Partly cloudy weather is a subclass of weather process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11264-11264	Precipitation is a subclass of weather process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2871-2871	Storm is a subclass of weather process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 794-794	Storm system is a subclass of weather process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3043-3043	Thunder is a subclass of weather process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2441-2441	Tsunami is a subclass of weather process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 828-828	Waterspout is a subclass of weather process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 796-796	Weather front is a subclass of weather process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 491-491	Weather season is a subclass of weather process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 509-509	Weather system is a subclass of weather process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1225-1225	Wind is a subclass of weather process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1313-1313	Zud is a subclass of weather process
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62636-62636	Zud is a subclass of weather process
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62635-62635	Zud is a subclass of weather process
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62634-62634	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

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1170-1170	The number 1 argument of precipitation state is an instance of weather process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3208-3208	The number 1 argument of weather threat is a subclass of weather process

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 3172-3183	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
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3191-3201	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: