Ambulating - Sigma Knowledge base Browser

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 11236-11238
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 11234-11234	劃分走動, Walking and 賽跑
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11231-11231	子類走動 and BodyMotion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11232-11232	子類走動 and IntentionalProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11233-11233	子類走動 and 易位

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11245-11245	子類賽跑 and 走動
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11240-11240	子類 Walking and 走動
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7147-7147	子類 Walking and 走動
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7146-7146	子類 Walking and 走動
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 7145-7145	子類 Walking and 走動

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 494-507	例 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 4880-4896	例 AutonomousAgent and Biped 例 Process and 走動 agent Process and AutonomousAgent 模態屬性 entity entity 例 entity and 腿例 entity and 腿等於 entity and entity 部分 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 18197-18201	例 Process and 走動 agent Process and AutonomousAgent attribute AutonomousAgent and 站立
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 480-492	例 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 509-515	例 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 517-523	例 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 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