Engine - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Engine

Engine(發動機)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1725-1727
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 86-86
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1724-1724	子類發動機 and 傳感器

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1779-1779	子類電動馬達 and 發動機
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1760-1760	子類內燃機 and 發動機
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4344-4344	子類 OutboardEngine and 發動機
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1748-1748	子類蒸汽機 and 發動機
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1752-1752	子類渦輪 and 發動機
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22078-22078
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22077-22077
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22076-22076

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1926-1926	域 compressionRatio, 1 and 發動機
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4533-4533	域 engineCylinders, 1 and 發動機
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1896-1896	域 maxCylinderVolume, 1 and 發動機
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1865-1865	域 minCylinderVolume, 1 and 發動機
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1942-1942	域 pistonStroke, 1 and 發動機

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1666-1674	例 Object and Cam 例 ObjectS and Camshaft 例 Object and 發動機部分 Object and Object 部分 ObjectS and Object 有目的 ObjectS and 連接的工程組件 Object and ObjectS
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1844-1862	例 Object and Clutch 例 Object and 汽車例 Object and 發動機例 Object and 變速器例 ObjectEAR and 齒輪部分 ObjectEAR and Object 部分 Object and Object 部分 Object and Object 部分 Object and Object 例 Process and Motion 患者 Process and Object attribute Object and 設備關閉 Process 例 Process and Motion 患者 Process and Object 原因 Process and Process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1823-1842	例 Object and Clutch 例 Object and 汽車例 Object and 發動機例 Object and 變速器例 ObjectEAR and 齒輪部分 ObjectEAR and Object 部分 Object and Object 部分 Object and Object 部分 Object and Object 例 Process and Motion 患者 Process and Object attribute Object and 設備上 Process 例 Process and Motion 患者 Process and Object 原因 Process and Process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1723-1739	例 CorpuscularObject and Exhaust 材料汽油 and CorpuscularObject 例 Transfer and Transfer 例 CorpuscularObjectNG and 發動機起源 Transfer and CorpuscularObjectNG 例 Physical and CatalyticConverter 目的地 Transfer and Physical objectTransferred Transfer and CorpuscularObject 有目的 Physical and entity 例 entity and Combustion 儀器 entity and Physical 患者 entity and CorpuscularObject entity 是 located 在 Physical
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2148-2160	例 Object and EngineCoolingSystem 例 Object and 發動機例 Object and 汽車部分 Object and Object 部分 Object and Object 有目的 Object and entity 例 entity and Cooling 儀器 entity and Object 患者 entity and Object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2936-2954	例 EngineeringComponent and EngineGovernor 例 EngineeringComponent and 發動機連接的工程組件 EngineeringComponent and EngineeringComponent governorSpeed EngineeringComponent and 測量 RealNumber and MilesPerHour 有目的 EngineeringComponent and entity entity and entity 例 entity and Device 部分 entity and EngineeringComponent 例 entity and 旋轉持有期間何時 entity and 測量 entity and 測量 entity and MilesPerHour 比較多 entity and RealNumber
No TPTP formula. May not be expressible in strict first order.	Cars.kif 328-333	例 Object and 發動機 HoleRegion 例 HoleRegion and Crankcase 等於 Object and 洞主持人 HoleRegion

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 973-983	例 Physical and AirIntake 有目的 Physical and entity entity and entity 例 entity and 空氣例 entity and 發動機例 entity and Transfer 起源 entity and Physical 目的地 entity and entity 患者 entity and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1354-1362	例 Process and Backfire Object Object 例 Object and EngineCylinder 例 Object and 發動機部分 Object and Object Process 是 located 在 Object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2280-2292	例 Physical and Distributor 有目的 Physical and entity entity, entity, entity and entity 例 entity and 發動機例 entity and SparkPlug 例 entity and Spark 部分 entity and Physical 部分 Physical and entity 部分 entity and entity 例 entity and 旋轉原因 entity and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2525-2538	例 Physical and EngineControlModule 有目的 Physical and entity entity, entity and entity 例 entity and 汽車例 entity and 發動機例 entity and Process 例 entity and Process 部分 entity and entity 部分 Physical and entity entity 是 located 在 Physical entity 是 located 在 entity 原因 entity and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4596-4612	例 Physical and FourWheelDriveVehicle 有目的 Physical and entity 部分 entity and Physical entity entity, entity and entity 例 entity and 發動機部分 entity and Physical 例 entity and Crankshaft 部分 entity and entity 例 entity and 旋轉患者 entity and entity 例 entity and 旋轉患者 entity and entity 原因 entity and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2546-2561	例 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 1000-1011	例 Physical and GasTank 有目的 Physical and entity entity and entity 例 entity and 汽油包含 Physical and entity 例 entity and 發動機例 entity and Transfer 起源 entity and Physical 目的地 entity and entity 患者 entity and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4702-4713	例 Physical and InteriorVehicleEquipment 有目的 Physical and entity entity 例 entity and 汽車例 entity and 發動機部分 entity and entity 部分 Physical and entity 部分 Physical and entity 方位 Physical, entity and 內
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4619-4651	例 Physical and TwoWheelDriveVehicle 有目的 Physical and entity entity 部分 entity and Physical 部分 entity and Physical 等於 entity and entity entity entity, entity, entity and entity 例 entity and 發動機部分 entity and Physical 例 entity and Crankshaft 部分 entity and entity 例 entity and 旋轉患者 entity and entity 例 entity and 旋轉患者 entity and entity 原因 entity and entity 患者 entity and entity 原因 entity and entity entity entity 等於 entity and entity 等於 entity and entity 部分 entity and Physical 例 entity and 旋轉患者 entity and entity 原因 entity and entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4493-4499	例 Object and UnpoweredDevice Object 例 Object and 發動機部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3763-3777	例 Physical and RemoteIgnitionControl 有目的 Physical and entity entity, entity and entity 例 entity and 動力車輛例 entity and 電子信號儀器 entity and Physical 目的地 entity and entity 例 entity and 發動機零件 entity and entity 例 entity and 發動機的 operating 體驗者 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