TreeView Knowledge Base Browser - Ambulating

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Ambulating

Ambulating(走動)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3006-3007
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11143-11145
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1769-1770
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1026-1026
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11141-11141	劃分走動, Walking and 賽跑
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11138-11138	子類走動 and BodyMotion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11139-11139	子類走動 and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11140-11140	子類走動 and 易位

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11152-11152	子類賽跑 and 走動
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11147-11147	子類 Walking and 走動
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7140-7140
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7139-7139
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7138-7138

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 501-514	例 Process and 走動子過程 Process and Process 例 Process and 步進子過程 Process and Process 例 Process and 步進等於 ProcessSTART and 開始何時 Process 等於 ProcessSTART and 開始何時 Process 之前 ProcessSTART and ProcessSTART 之前 ProcessSTART and ProcessSTART 等於 Process and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4411-4425	例 AutonomousAgent and Biped 例 Process and 走動 agent Process and AutonomousAgent 模態屬性 entity entity 例 entity and 腿例 entity and 腿部分 entity and AutonomousAgent 部分 entity and AutonomousAgent 儀器 Process and entity 儀器 Process and entity and 容易
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18063-18067	例 Process and 走動 agent Process and AutonomousAgent attribute AutonomousAgent and 站立
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 487-499	例 Process and 走動等於 TimeInterval and 何時 Process Process Process 例 Process and 步進例 Process and 步進子過程 Process and Process 子過程 Process and Process 啟動何時 Process and TimeInterval 飾面何時 Process and TimeInterval 等於 Process and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 516-522	例 Process and 走動例 Process and 步進子過程 Process and Process agent Process and AutonomousAgent agent Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 524-530	例 Process and 走動例 Process and 步進子過程 Process and Process agent Process and AutonomousAgent agent Process and AutonomousAgent

consequent

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

Music.kif 986-996

例 AutonomousAgent and MarchingBand 例 Process and 音樂表演 agent Process and AutonomousAgent 例 Object and 在戶外 Process 是 located 在 Object
Process 例 Process and 走動子過程 Process and Process

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