TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11220-11220	WeatherProcess e' disjunto de Processo Intencional
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3017-3018
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11222-11225
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1781-1783
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2061-2061
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8794-8794
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9813-9813
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11219-11219	WeatherProcess e' uma sub-classe de Movimento

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2558-2558	AtmosphericHazing e' uma sub-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order.	Weather.kif 873-873	ClearWeather e' uma sub-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2480-2480	Desertification e' uma sub-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2462-2462	Drought e' uma sub-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2529-2529	Fogging e' uma sub-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2775-2775	Frosting e' uma sub-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1550-1550	HeavySurf e' uma sub-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2507-2507	Icing e' uma sub-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3038-3038	Lightning e' uma sub-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order.	Weather.kif 923-923	OvercastWeather e' uma sub-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order.	Weather.kif 896-896	PartlyCloudyWeather e' uma sub-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11227-11227	Precipitation e' uma sub-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2885-2885	Storm e' uma sub-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order.	Weather.kif 806-806	StormSystem e' uma sub-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3050-3050	Thunder e' uma sub-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2455-2455	Tsunami e' uma sub-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order.	Weather.kif 840-840	Waterspout e' uma sub-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order.	Weather.kif 808-808	WeatherFront e' uma sub-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order.	Weather.kif 503-503	WeatherSeason e' uma sub-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order.	Weather.kif 521-521	WeatherSystem e' uma sub-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1237-1237	Wind e' uma sub-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1325-1325	Zud e' uma sub-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62613-62613
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62612-62612
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62611-62611

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 1182-1182

O argumento numero 1 de precipitationState e' uma instancia de WeatherProcess

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: