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 2886-2888
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2882-2885
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2889-2889	子類 Storm and 天氣過程

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2617-2617	子類暴風雪 and Storm
No TPTP formula. May not be expressible in strict first order.	Weather.kif 552-552	子類氣旋風暴 and Storm
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1253-1253	子類塵暴 and Storm
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2936-2936	子類 Snowstorm and Storm
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1251-1251	子類颮 and Storm
No TPTP formula. May not be expressible in strict first order.	Weather.kif 843-843	子類雷雨 and Storm
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1648-1648	子類龍捲風 and Storm
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1242-1242	子類風暴 and Storm
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2891-2891
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2890-2890

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2905-2914	例 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 2916-2929	例 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 2893-2903	例 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