Snowing - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Snowing

Snowing(下雪)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1126-1127
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1123-1124
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1007-1007
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1131-1131	子類下雪 and 沉澱

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53564-53564
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1129-1129
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53563-53563
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 53562-53562

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2993-2998	例 Transfer and 下雪 Object 例 Object and Snow objectTransferred Transfer and Object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1133-1135	例天氣過程 and 下雪固體是天氣過程的 precipitation 狀態
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1137-1145	例 Transfer and 下雪 Collection Object 例 Collection and Collection 例 Object and 冰 attribute Object and MonoCrystalline 會員 Object and Collection objectTransferred Transfer and Collection

consequent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2616-2621	例 Process and 暴風雪 Process 例 Process and 下雪子過程 Process and Process
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1050-1059	例 Physical and SnowSki 有目的 Physical and entity entity and entity 例 entity and 下雪結果 entity and entity 例 entity and Transportation 儀器 entity and Physical entity 是 located 在 entity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2936-2951	例 Physical and Snowstorm 持有期間何時 Physical and entity entity and entity 例 entity and 下雪例 entity and GeographicArea entity 是 located 在 entity 子過程 entity and Physical snow 的下降 rate 在 entity 期間何時 entity 是測量 1 and 小時是測量 entity and 厘米的 per 比較多 entity and 5.0
No TPTP formula. May not be expressible in strict first order.	Weather.kif 3031-3058	snow 的下降 rate 在 GeographicArea 期間 TimeInterval 是 FunctionQuantity Transfer Object, SelfConnectedObject, entity, SelfConnectedObject and entity 例 Transfer and 下雪 Transfer 是 located 在 GeographicArea 期間何時 Transfer and TimeInterval 例 Object and Snow objectTransferred Transfer and Object 例 SelfConnectedObject and 板或塊底部 SelfConnectedObject and SelfConnectedObject attribute SelfConnectedObject and 平面位於 SelfConnectedObject and GeographicArea 持有期間開始 TimeInterval and entity 例 entity and Object 位於 entity and SelfConnectedObject 持有期間結束 TimeInterval and 位於 Object and SelfConnectedObject 上 entity and Object 對於 SelfConnectedObject 從 entity 的 depth 是 entity 等於 entity and 乘法 TimeInterval and FunctionQuantity

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