TreeView Knowledge Base Browser - InternalCombustionEngine

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

InternalCombustionEngine

Sigma KEE - InternalCombustionEngine

InternalCombustionEngine(內燃機)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1761-1763
No TPTP formula. May not be expressible in strict first order.	Cars.kif 27-45
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4976-4976
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4977-4977
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4975-4975
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1760-1760	子類內燃機 and 發動機

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Cars.kif 85-85	子類 ContinuousCombustionEngine and 內燃機
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23610-23610	子類柴油發動機 and 內燃機
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23599-23599	子類汽油發動機 and 內燃機
No TPTP formula. May not be expressible in strict first order.	Cars.kif 91-91	子類 IntermittentCombustionEngine and 內燃機
No TPTP formula. May not be expressible in strict first order.	Cars.kif 90-90	子類渦輪 and 內燃機
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30469-30469
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30468-30468
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30467-30467
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3328-3328	OilPan typically 是內燃機的 part
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3329-3329	內燃機 typically 有 part OilPan

appearance as argument number 3

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

Cars.kif 2564-2564

域 engineIdleSpeed, 1 and 內燃機

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2817-2836	例 Object and 內燃機例 Object and CombustionChamber 部分 Object and Object 例 Entity and 汽油例 Entity and UnitOfVolume 持有期間 TimePosition and 包含 Object and Entity 測量 Entity and 測量 entity and Entity attribute Object and EngineFlooded 有目的 Object and Entity entity 例 Entity and 汽油包含 Object and Entity 測量 Entity and 測量 entity and Entity 大於或等於 entity and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1904-1923	例 Process and EngineCycle 例 Object and 內燃機例 Object and CombustionChamber 部分 Object and Object Process 是 located 在 Object 例 Entity and UnitOfVolume 持有期間何時 Process and maxCylinderVolume Object and 測量 RealNumber and Entity RealNumber TimeInterval 期間 TimeInterval and 何時 Process 持有期間 TimeInterval and 測量 Object and 測量 RealNumber and Entity 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1874-1893	例 Process and EngineCycle 例 Object and 內燃機例 Object and CombustionChamber 部分 Object and Object Process 是 located 在 Object 例 Entity and UnitOfVolume 持有期間何時 Process and minCylinderVolume Object and 測量 RealNumber and Entity RealNumber TimeInterval 期間 TimeInterval and 何時 Process 持有期間 TimeInterval and 測量 Object and 測量 RealNumber and Entity 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1949-1971	例 Process and EngineCycle 例發動機 and 內燃機例 Object and Piston 例 UnitOfMeasure and UnitOfLength 部分 Object and 發動機患者 Process and Object Process 是 located 在發動機 pistonStroke 發動機 and 測量 RealNumber and UnitOfMeasure TimeInterval TimeInterval, Physical, Physical and RealNumber 期間 TimeInterval and 何時 Process 期間 TimeInterval and 何時 Process 持有期間 TimeInterval and 位於 Object and Physical 持有期間 TimeInterval and 位於 Object and Physical 距離 Physical, Physical and 測量 RealNumber and UnitOfMeasure 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Cars.kif 57-65	例 Physical and 內燃機有目的 Physical and entity entity and entity 例 entity and Combustion 例 entity and Motion 部分 entity and Physical 患者 entity and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 47-55	例 Physical and 內燃機有目的 Physical and entity entity 例 entity and 汽油例 entity and Combustion 儀器 entity and Physical 資源 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1765-1773	例 Process and 內燃機的 operating SelfConnectedObject HoleRegion and Object 例 SelfConnectedObject and 內燃機儀器 Process and SelfConnectedObject hole HoleRegion and SelfConnectedObject 例 Object and Combustion 完全填滿 Object and HoleRegion

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2221-2236	例 Process and EngineCranking Object Object, Object, Process, Object and Process 例 Object and 電動機例 Object and 內燃機例 Object and 軸例 Object and Crankshaft 部分 Object and Object 子過程 Process and Process 例 Process and 旋轉患者 Process and Object 例 Process and 旋轉患者 Process and Object 部分 Object and Object 原因 Process and Process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2758-2769	例 Physical and EngineFan 有目的 Physical and entity entity and entity 例 entity and 汽車例 entity and Cooling 例 entity and 內燃機部分 entity and entity 部分 Physical and entity 儀器 entity and Physical 患者 entity and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1765-1773	例 Process and 內燃機的 operating SelfConnectedObject HoleRegion and Object 例 SelfConnectedObject and 內燃機儀器 Process and SelfConnectedObject hole HoleRegion and SelfConnectedObject 例 Object and Combustion 完全填滿 Object and HoleRegion
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3961-3969	例 Physical and StarterMotor 有目的 Physical and entity entity and entity 例 entity and 內燃機儀器 entity and Physical 儀器 entity and entity 原因 entity and entity

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