DustStorm - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - DustStorm

DustStorm(塵暴)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1257-1259
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1254-1256
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 402-402
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1253-1253	子類塵暴 and Storm

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1310-1310	子類 Haboob and 塵暴
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1298-1298	子類沙暴 and 塵暴
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20718-20718
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20717-20717
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20716-20716

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2600-2608	例 Process and 塵暴例 Object and GeographicArea Process 是 located 在 Object 持有期間何時 Process and 模態屬性 attribute Object and BadAirQuality and 容易
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1275-1296	例 Process and 塵暴例 Process and 風子過程 Process and Process Transfer Object, Object, Object, Object and RealNumber 例 Object and LandArea Process 是 located 在 Object 測量 RealNumber and 結速度單位是 Object 的 surface 風速比較多 RealNumber and 30.0 例 Transfer and 易位子過程 Transfer and Process objectTransferred Transfer and Object objectTransferred Transfer and Object 例 Object and ParticulateMatter 例 Object and 砂例 Object and LandArea 目的地 Transfer and Object 在空間上重疊 Object and Object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1261-1273	例 Process and 塵暴 GeographicArea 例 GeographicArea and GeographicArea 乾旱氣候帶是 GeographicArea 地區的 climate 類別 Process 是 located 在 GeographicArea GeographicArea 例 GeographicArea and GeographicArea 半乾旱氣候帶是 GeographicArea 地區的 climate 類別 Process 是 located 在 GeographicArea

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