WeatherProcess - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11198-11198	天气过程和 % 2 是 disjoint
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 11200-11203
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 11197-11197	天气过程是运动的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2562-2562	阴霾是天气过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Weather.kif 877-877	天气晴朗是天气过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2484-2484	荒漠化是天气过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2466-2466	干旱是天气过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2533-2533	雾是天气过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2779-2779	霜是天气过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1554-1554	高激浪是天气过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2511-2511	刨冰是天气过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3038-3038	闪电是天气过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Weather.kif 927-927	阴云密布的天气是天气过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Weather.kif 900-900	部分多云的天气是天气过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11205-11205	沉淀是天气过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2889-2889	风暴是天气过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Weather.kif 810-810	风暴系统是天气过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3050-3050	雷是天气过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2459-2459	海啸是天气过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Weather.kif 844-844	水龙卷是天气过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Weather.kif 812-812	天气前线是天气过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Weather.kif 503-503	天气季节是天气过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Weather.kif 521-521	天气系统是天气过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1241-1241	风是天气过程的 subclass
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1329-1329	ZUD 是天气过程的 subclass
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 1186-1186

降水状态的 1 数量是天气过程的 instance

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: