TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11232-11232	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 11234-11237
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 11231-11231	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 2545-2545	AtmosphericHazing e' uma sub-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order.	Weather.kif 861-861	ClearWeather e' uma sub-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2467-2467	Desertification e' uma sub-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2449-2449	Drought e' uma sub-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2516-2516	Fogging e' uma sub-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2762-2762	Frosting e' uma sub-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1537-1537	HeavySurf e' uma sub-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2494-2494	Icing e' uma sub-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3031-3031	Lightning e' uma sub-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order.	Weather.kif 911-911	OvercastWeather e' uma sub-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order.	Weather.kif 884-884	PartlyCloudyWeather e' uma sub-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11239-11239	Precipitation e' uma sub-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2872-2872	Storm e' uma sub-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order.	Weather.kif 794-794	StormSystem e' uma sub-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3043-3043	Thunder e' uma sub-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2442-2442	Tsunami e' uma sub-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order.	Weather.kif 828-828	Waterspout e' uma sub-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order.	Weather.kif 796-796	WeatherFront e' uma sub-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order.	Weather.kif 491-491	WeatherSeason e' uma sub-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order.	Weather.kif 509-509	WeatherSystem e' uma sub-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1225-1225	Wind e' uma sub-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1313-1313	Zud e' uma sub-classe de WeatherProcess
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62615-62615
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62614-62614
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62613-62613

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

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: