moves - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - moves

moves

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2991-2993
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11045-11048
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1751-1753
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11042-11042	域移動, 1 and Motion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11043-11043	域移動, 2 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11040-11040	例移動 and CaseRole
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11041-11041	例移動 and TotalValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11050-11050	子關係移動 and 參與活動

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 682-682
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11063-11063	子關係改變位置 and 移動
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39055-39055	子關係改變位置 and 移動
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39054-39054	子關係改變位置 and 移動
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39053-39053	子關係改變位置 and 移動

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11581-11592	antagonistMuscles Muscle and Muscle 例 Motion and Extension 儀器 Motion and MuscleC 移動 Motion and MuscleC 例 MuscleC and Muscle 例 MuscleC and Muscle 部分 MuscleC and Object 部分 MuscleC and Object 例 Object and Animal 能力 Flexion, 儀器 and MuscleC
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11568-11579	antagonistMuscles Muscle and Muscle 例 Motion and Flexion 儀器 Motion and MuscleC 移動 Motion and MuscleC 例 MuscleC and Muscle 例 MuscleC and Muscle 部分 MuscleC and Object 部分 MuscleC and Object 例 Object and Animal 能力 Extension, 儀器 and MuscleC
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10735-10757	例 Object and Antacid 例 Motion and Ingesting agent Motion and AutonomousAgent 移動 Motion and Object 例 Object and 胃部分 Object and AutonomousAgent 持有期間不久的過去何時 Motion and 包含 Object and Object 例 Object and 流體持有期間眼前的未來何時 Motion and 包含 Object and Object 例 Object and 流體 phMeasure Object and RealNumber phMeasure Object and RealNumber 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10796-10818	例 Object and ProtonPumpInhibitor 例 Motion and Ingesting agent Motion and AutonomousAgent 移動 Motion and Object 例 Object and 胃部分 Object and AutonomousAgent 持有期間不久的過去何時 Motion and 包含 Object and Object 例 Object and 流體持有期間眼前的未來何時 Motion and 包含 Object and Object 例 Object and 流體 phMeasure Object and RealNumber phMeasure Object and RealNumber 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11473-11489	例 Object and BodySegment 例 Object and BodySegment 連接的 Object and Object 例 Motion and BodyMotion 移動 Motion and Object 模態屬性 Motion 例 Motion and BodyMotion 移動 Motion and Object 期間何時 Motion and 何時 Motion and 可能性
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3942-3952	例 Motion and MuscularContraction 移動 Motion and Object 例 Object and VoluntaryMuscle 例 Object and HeartMuscle Object 例 Object and Troponin 資源 Motion and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10951-10974	例 Object and Antidiuretic 例 Motion and Ingesting agent Motion and AutonomousAgent 移動 Motion and Object 例 TimeInterval and Urination 結果 TimeInterval and Entity agent TimeInterval and AutonomousAgent 例 TimeInterval and Urination 等於 TimeInterval and TimeInterval 結果 TimeInterval and Entity agent TimeInterval and AutonomousAgent 早期 TimeInterval and Motion 早期 Motion and TimeInterval 例 UnitOfMeasure and UnitOfVolume 測量 TimeInterval and 測量 RealNumber and UnitOfMeasure 測量 TimeInterval and 測量 RealNumber and UnitOfMeasure 模態屬性比較多 RealNumber and RealNumber and 容易
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10921-10942	例 Object and Diuretic 例 Motion and Ingesting agent Motion and AutonomousAgent 移動 Motion and Object 例 TimeInterval and Urination 結果 TimeInterval and Entity agent TimeInterval and AutonomousAgent 例 TimeInterval and Urination 結果 TimeInterval and Entity agent TimeInterval and AutonomousAgent 早期 TimeInterval and Motion 早期 Motion and TimeInterval 例 UnitOfMeasure and UnitOfVolume 測量 TimeInterval and 測量 RealNumber and UnitOfMeasure 測量 TimeInterval and 測量 RealNumber and UnitOfMeasure 模態屬性比較多 RealNumber and RealNumber and 容易
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11543-11553	例 Motion and Extension 移動 Motion and Object Object ObjectC 例 Object and Muscle 例 ObjectC and MuscularContraction 儀器 Motion and Object 連接的 Object and Object 子過程 ObjectC and Motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11530-11541	例 Motion and Flexion agent Motion and AutonomousAgent 移動 Motion and Object Motion 例 Motion and Extension 等於何時 Motion and 何時 Motion agent Motion and AutonomousAgent 移動 Motion and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11503-11513	例 Motion and Flexion 移動 Motion and Object Object ObjectC 例 Object and Muscle 例 ObjectC and MuscularContraction 儀器 Motion and Object 連接的 Object and Object 子過程 ObjectC and Motion
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11173-11179	例 Motion and BodyMotion 移動 Motion and Object 例 Object and BodyPart 患者 Motion and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11115-11120	例 Motion and Motion 移動 Motion and Object 目的地 Motion and Entity 持有期間結束何時 Motion and 位於 Object and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11099-11104	例 Motion and Motion 移動 Motion and Object 起源 Motion and Object 持有期間開始何時 Motion and 位於 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9373-9383	例 Object and Poison 例 Motion and Ingesting 移動 Motion and Object 體驗者 Motion and AutonomousAgent Process 例 Process and Damaging 體驗者 Process and AutonomousAgent 原因 Motion and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9397-9408	例 Object and Poison 例 Motion and Ingesting 移動 Motion and Object 體驗者 Motion and AutonomousAgent 模態屬性持有期間未來何時 Motion and attribute AutonomousAgent and 盲 and 可能性

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11473-11489	例 Object and BodySegment 例 Object and BodySegment 連接的 Object and Object 例 Motion and BodyMotion 移動 Motion and Object 模態屬性 Motion 例 Motion and BodyMotion 移動 Motion and Object 期間何時 Motion and 何時 Motion and 可能性
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10860-10872	例 Process and Edema 體驗者 Process and AutonomousAgent Motion Object and Object 例 Motion and Transfer 例 Object and 液體例 Object and BodyPart 部分 Object and AutonomousAgent 目的地 Motion and Object 移動 Motion and Object 子過程 Motion and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11530-11541	例 Motion and Flexion agent Motion and AutonomousAgent 移動 Motion and Object Motion 例 Motion and Extension 等於何時 Motion and 何時 Motion agent Motion and AutonomousAgent 移動 Motion and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6396-6408	例 Process and Infecting 體驗者 Process and AutonomousAgent Motion Process and AutonomousAgent 例 Motion and 易位移動 Motion and AutonomousAgent 例 AutonomousAgent and Organism 例 Process and Replication 體驗者 Process and AutonomousAgent 子過程 Motion and Process 子過程 Process and Process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 479-491	例 Motion and BloodCirculation Object Object, Object and Object 例 Object and Animal 例 Object and Blood 移動 Motion and Object 例 Object and 動脈例 Object and 靜脈部分 Object and Object 部分 Object and Object 路徑 Motion and Object 路徑 Motion and Object
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 536-552	例 Physical and Catheter 有目的 Physical and entity entity, entityBJ and entity 例 entity and Organism 例 entity and Motion 移動 entity and entityBJ 方位 entity, entity and 外路徑 entity and Physical 起源 entity and entity 目的地 entity and entity 起源 entity and entity 目的地 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10906-10919	例 Physical and Diuretic 有目的 Physical and entity entity, entity and entityOC 例 entity and Human 例 entity and Removing 例 entity and 液體體驗者 entity and entity 移動 entity and entity 起源 entity and entity 包含 entity and entityOC 目的地 entity and entityOC
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3772-3774	例 Object and 家具能力易位, 移動 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11638-11647	例 Physical and 心有目的 Physical and entity PhysicalB and entity 例 PhysicalB and HeartBeat 例 entity and 液體運動例 entity and Blood 移動 entity and entity 原因 PhysicalB and entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11081-11086	例 Motion and Motion Object 例 Object and Object 移動 Motion and Object

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