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 18700-18701
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18702-18702	子類 Pushing and Motion

appearance as argument number 2

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

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2569-2587	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 18705-18723	例 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 2551-2567	持有期間 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.	Mid-level-ontology.kif 10040-10061	等於測量測量 RealNumber and SquareMillimeter 是測量 RealNumber and KilogramForce 的 per and VickersPyramidNumber and VickersHardnessFn Substance 模態屬性 entity entity, entity, entity and entity 例 entity and Substance 例 entity and Pushing 目的地 entity and entity 例 entity and 鑽石 entity 是 SquarePyramid 患者 entity and entity 結果 entity and entity 例 entity and HoleRegion 部分 entity and entity 表面 entity and entity 測量 RealNumber and SquareMillimeter 是 entity 的 total 區域測量 entity and 測量 RealNumber and KilogramForce and 容易
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9964-9987	等於測量 RealNumber and 磅力 and JankaHardnessFn 植物樹模態屬性 entity entity, entity, entity, entity and entity 例 entity and 植物樹部分 entity and entity 例 entity and 木例 entity and Pushing 目的地 entity and entity 例 entity and 球材料 entity and 鋼患者 entity and entity entity 的 radius 是測量 5.64 and 毫米結果 entity and entity 例 entity and HoleRegion 部分 entity and entity 表面 entity and entity 距離 entity, entity and 測量 5.64 and 毫米測量 entity and 測量 RealNumber and 磅力 and 容易
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1568-1576	例 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 2524-2539	例 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 3905-3925	例 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