TreeView Knowledge Base Browser - Falling

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Falling

Falling(落下)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3062-3063
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11605-11607
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1830-1831
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6000-6000
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11603-11603	子類落下 and 向下運動
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11602-11602	子類落下 and 易位

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11229-11229	子類沉澱 and 落下
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13106-13106	子類下沉 and 落下
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23176-23176
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23175-23175
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23174-23174

antecedent

No TPTP formula. May not be expressible in strict first order.

Merge.kif 11609-11614

例 Process and 落下起源 Process and Object 目的地 Process and Object
方位 Object, Object and 下面

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3397-3425	例可穿戴物品 and 安全套例 Animal and Animal 穿 Animal and 可穿戴物品有目的可穿戴物品 and entity entity and entity 例 entity and Process 儀器 entity and 可穿戴物品患者 entity and Animal 子類 entity and 卡帕 entity and 例 entity and Injuring entity entity and entity 例 entity and Human 體驗者 entity and entity 例 entity and 落下體驗者 entity and entity 原因 entity and entity 持有期間 entity and 體驗者 entity and Animal 持有期間 entity and 患者 entity and Animal 防止 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16410-16426	持有期間 TimePosition and attribute entity and Dizzy 持有期間 TimePosition and 相信 entity and TimePosition 期間 TimePosition and TimePosition 持有期間 TimePosition and attribute entity and 站立 entity 例 entity and 落下體驗者 entity and entity 短暫相遇 TimePosition and 何時 entity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1349-1369	例 Process and BreakingWave Process Object, Entity and Transfer 例 Process and 水波子過程 Process and Process 例 Object and 水體例 Entity and 水體患者 Process and Entity 患者 Process and Object 例 Transfer and 落下 objectTransferred Transfer and Object 持有期間開始何時 Transfer and 部分 Object and Entity 持有期間結束何時 Transfer and 部分 Object and Entity
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5472-5483	例 Entity and 砍伐 Process Process, Object and Object 例 Process and Cutting 患者 Process and Object 例 Object and 植物樹結果 Process and Process 例 Process and 落下患者 Process and Object 例 Object and PlantStem 部分 Object and Object

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