Pushing - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Pushing

Pushing

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17638-17639
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17640-17640	子類 Pushing and Motion

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17663-17663	不相交的拉 and Pushing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17641-17641

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2568-2586	engineIdleSpeed 內燃機 and RotationFn 測量 RealNumber and MilesPerHour and TimeDuration 例 Object and 汽車例 Process and GasPedal 例 Process and Pushing 目的地 Process and Object 部分內燃機 and Object 部分 Object and Object 例 Object and Crankshaft 部分 Object and 內燃機持有期間何時 Process and 測量 Object and RotationFn 測量 entity and MilesPerHour and TimeDuration 模態屬性比較多 entity and RealNumber and 容易
No TPTP formula. May not be expressible in strict first order.	Cars.kif 693-707	例 Object and BrakePedal 例 Process and Pushing 例 Object and 車輛目的地 Process and Object Process 是 located 在 Object 部分 Object and Object 有目的 Object and entity entity 例 entity and WearingFrictionSurface 例 entity and 摩擦儀器 entity and entity 原因 Process and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1325-1348	例 Object and Lever 例 Process and Pushing 例 Physical and Motion 例 UnitOfMeasure and UnitOfLength 目的地 Process and Object physicalEnd Object and Object physicalEnd Object and Object 等於 Object and Object 持有期間不久的過去何時 Physical and 位於 Object and Process 持有期間眼前的未來何時 Physical and 位於 Object and Process 持有期間不久的過去何時 Physical and 位於 Object and Process 持有期間眼前的未來何時 Physical and 位於 Object and Process 距離 Process, Process and 測量 RealNumber and UnitOfMeasure 距離 Process, Process and 測量 RealNumber and UnitOfMeasure 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17643-17661	例 TimeInterval and Pushing 起源 TimeInterval and Object agent TimeInterval and AutonomousAgent 持有期間開始 TimeInterval and 位於 AutonomousAgent and AutonomousAgentLOC 目的地 TimeInterval and Entity 持有期間眼前的未來開始 TimeInterval and entity entity and entity 距離 AutonomousAgentLOC, Entity and 測量 entity and entity 距離 AutonomousAgentLOC, Object and 測量 entity and entity 比較多 entity and entity

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2550-2566	持有期間 TimePosition and 測量 Object and FunctionQuantity engineIdleSpeed 內燃機 and FunctionQuantity 例 Object and 汽車部分內燃機 and Object 部分 Object and 內燃機模態屬性 entity entity 期間 entity and TimePosition 例 entity and Pushing 目的地 entity and entity 部分 entity and Object and 容易
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1567-1575	例 Physical and BrakeCaliper 有目的 Physical and entity entity 例 entity and Pushing 儀器 entity and Physical 患者 entity and entity 例 entity and WearingFrictionSurface
No TPTP formula. May not be expressible in strict first order.	Cars.kif 685-691	例 Physical and BrakePedal 有目的 Physical and entity 例 entity and Pushing 目的地 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2523-2538	例 Physical and GasPedal 有目的 Physical and entity entity, entity, entity and entity 例 entity and Pushing 例 entity and Transfer 例 entity and 汽油例 entity and 發動機例 entity and 汽車部分 Physical and entity 部分 entity and entity 目的地 entity and Physical 目的地 entity and entity 患者 entity and entity 原因 entity and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3829-3849	例 Physical and RockerArm 有目的 Physical and entity entity, entity, entity, entity and entity 例 entity and Pushing 例 entity and Cam 例 entity and Pushing 例 entity and 閥例 entity and 開盤例 entity and FourStrokeEngine 部分 Physical and entity 部分 entity and entity 部分 entity and entity 儀器 entity and entity 目的地 entity and Physical 儀器 entity and Physical 目的地 entity and entity 原因 entity and entity 原因 entity and entity 患者 entity and entity

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