TreeView Knowledge Base Browser - Snow

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Snow

Sigma KEE - Snow

Snow

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2988-2988
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2986-2987
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2991-2991	子類 Snow and 冰

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Weather.kif 2990-2990
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2989-2989

consequent

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 3009-3015	例 Physical and Snowflake PhysicalNOW 例 PhysicalNOW and Snow 例 PhysicalNOW and Collection 會員 Physical and PhysicalNOW
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 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