TreeView Knowledge Base Browser - Storm

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Storm

Storm

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2882-2884
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2878-2881
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2885-2885	子類 Storm and 天氣過程

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2613-2613	子類暴風雪 and Storm
No TPTP formula. May not be expressible in strict first order.	Weather.kif 553-553	子類氣旋風暴 and Storm
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1249-1249	子類塵暴 and Storm
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2932-2932	子類 Snowstorm and Storm
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1247-1247	子類颮 and Storm
No TPTP formula. May not be expressible in strict first order.	Weather.kif 839-839	子類雷雨 and Storm
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1644-1644	子類龍捲風 and Storm
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1238-1238	子類風暴 and Storm
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2887-2887
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2886-2886

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2901-2910	例 Physical and Storm 持有期間何時 Physical and entity entity 例 entity and GeographicArea 測量 entity and 結速度單位是 entity 的 surface 風速比較多 entity and 30.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2912-2925	例 Physical and Storm 持有期間何時 Physical and entity entity, entity and entity 例 entity and 低壓天氣系統例 entity and Region entity 是 located 在 entity 例 entity and 空氣例 entity and 向上運動患者 entity and entity entity 是 located 在 entity 子過程 entity and entity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2889-2899	例 Physical and Storm 持有期間何時 Physical and 模態屬性 entity entity 例 entity and 沉澱例 entity and GeographicArea entity 是 located 在 entity 子過程 entity and Physical and 容易

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