WeatherProcess - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11220-11220	不相交的天氣過程 and IntentionalProcess
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	子類天氣過程 and Motion

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2558-2558	子類 AtmosphericHazing and 天氣過程
No TPTP formula. May not be expressible in strict first order.	Weather.kif 873-873	子類天氣晴朗 and 天氣過程
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2480-2480	子類荒漠化 and 天氣過程
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2462-2462	子類乾旱 and 天氣過程
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2529-2529	子類 Fogging and 天氣過程
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2775-2775	子類 Frosting and 天氣過程
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1550-1550	子類高激浪 and 天氣過程
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2507-2507	子類刨冰 and 天氣過程
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3038-3038	子類閃電 and 天氣過程
No TPTP formula. May not be expressible in strict first order.	Weather.kif 923-923	子類陰雲密布的天氣 and 天氣過程
No TPTP formula. May not be expressible in strict first order.	Weather.kif 896-896	子類部分多雲的天氣 and 天氣過程
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11227-11227	子類沉澱 and 天氣過程
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2885-2885	子類 Storm and 天氣過程
No TPTP formula. May not be expressible in strict first order.	Weather.kif 806-806	子類風暴系統 and 天氣過程
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3050-3050	子類雷 and 天氣過程
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2455-2455	子類海嘯 and 天氣過程
No TPTP formula. May not be expressible in strict first order.	Weather.kif 840-840	子類水龍捲 and 天氣過程
No TPTP formula. May not be expressible in strict first order.	Weather.kif 808-808	子類天氣前線 and 天氣過程
No TPTP formula. May not be expressible in strict first order.	Weather.kif 503-503	子類天氣季節 and 天氣過程
No TPTP formula. May not be expressible in strict first order.	Weather.kif 521-521	子類天氣系統 and 天氣過程
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1237-1237	子類風 and 天氣過程
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1325-1325	子類 ZUD and 天氣過程
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

域降水狀態, 1 and 天氣過程

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: