TreeView Knowledge Base Browser - Engine

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

(documentation Engine EnglishLanguage "Engine is a subclass of Transducer. Engines are devices for converting some form of energy resource into mechanical power.")	Mid-level-ontology.kif 1718-1720
(externalImage Engine "http://upload.wikimedia.org/wikipedia/commons/1/1a/ Mazda_rotary_engine_early.jpg")	pictureList.kif 86-86
(subclass Engine Transducer)	Mid-level-ontology.kif 1717-1717	子類發動機 and 傳感器

appearance as argument number 2

(subclass ElectricMotor Engine)	Mid-level-ontology.kif 1772-1772	子類電動馬達 and 發動機
(subclass InternalCombustionEngine Engine)	Mid-level-ontology.kif 1753-1753	子類內燃機 and 發動機
(subclass OutboardEngine Engine)	Cars.kif 4321-4321	子類 OutboardEngine and 發動機
(subclass SteamEngine Engine)	Mid-level-ontology.kif 1741-1741	子類蒸汽機 and 發動機
(subclass Turbine Engine)	Mid-level-ontology.kif 1745-1745	子類渦輪 and 發動機
(termFormat ChineseLanguage Engine "发动机")	domainEnglishFormat.kif 22078-22078
(termFormat ChineseTraditionalLanguage Engine "發動機")	domainEnglishFormat.kif 22077-22077
(termFormat EnglishLanguage Engine "engine")	domainEnglishFormat.kif 22076-22076

appearance as argument number 3

(domain compressionRatio 1 Engine)	Cars.kif 1903-1903	域 compressionRatio, 1 and 發動機
(domain engineCylinders 1 Engine)	Cars.kif 4510-4510	域 engineCylinders, 1 and 發動機
(domain maxCylinderVolume 1 Engine)	Cars.kif 1873-1873	域 maxCylinderVolume, 1 and 發動機
(domain minCylinderVolume 1 Engine)	Cars.kif 1842-1842	域 minCylinderVolume, 1 and 發動機
(domain pistonStroke 1 Engine)	Cars.kif 1919-1919	域 pistonStroke, 1 and 發動機

antecedent

(=> (and (instance ?C Cam) (instance ?CS Camshaft) (instance ?E Engine) (part ?C ?E) (part ?CS ?E)) (hasPurpose ?CS (connectedEngineeringComponents ?C ?CS)))	Cars.kif 1666-1674	例 Object and Cam 例 ObjectS and Camshaft 例 Object and 發動機部分 Object and Object 部分 ObjectS and Object 有目的 ObjectS and 連接的工程組件 Object and ObjectS
(=> (and (instance ?C Clutch) (instance ?A Automobile) (instance ?E Engine) (instance ?G Gearbox) (instance ?GEAR Gear) (part ?GEAR ?G) (part ?G ?A) (part ?C ?A) (part ?E ?A) (instance ?M Motion) (patient ?M ?E) (attribute ?C DeviceOff)) (exists (?M2) (and (instance ?M2 Motion) (patient ?M2 ?G) (causes ?M ?M2))))	Cars.kif 1821-1839	例 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
(=> (and (instance ?C Clutch) (instance ?A Automobile) (instance ?E Engine) (instance ?G Gearbox) (instance ?GEAR Gear) (part ?GEAR ?G) (part ?G ?A) (part ?C ?A) (part ?E ?A) (instance ?M Motion) (patient ?M ?E) (attribute ?C DeviceOn)) (not (exists (?M2) (and (instance ?M2 Motion) (patient ?M2 ?G) (causes ?M ?M2)))))	Cars.kif 1800-1819	例 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
(=> (and (instance ?E Exhaust) (material Fuel ?E) (instance ?T Transfer) (instance ?ENG Engine) (origin ?T ?ENG) (instance ?CC CatalyticConverter) (destination ?T ?CC) (objectTransferred ?T ?E)) (hasPurpose ?CC (exists (?C) (and (instance ?C Combustion) (instrument ?C ?CC) (patient ?C ?E) (eventLocated ?C ?CC)))))	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
(=> (and (instance ?ECS EngineCoolingSystem) (instance ?E Engine) (instance ?A Automobile) (part ?ECS ?A) (part ?E ?A)) (hasPurpose ?ECS (exists (?C) (and (instance ?C Cooling) (instrument ?C ?ECS) (patient ?C ?E)))))	Cars.kif 2125-2137	例 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
(=> (and (instance ?EG EngineGovernor) (instance ?E Engine) (connectedEngineeringComponents ?EG ?E) (governorSpeed ?E (MeasureFn ?S MilesPerHour))) (hasPurpose ?EG (not (exists (?R ?P ?M) (and (instance ?P Device) (part ?P ?E) (instance ?R Rotating) (holdsDuring (WhenFn ?R) (and (measure ?P (MeasureFn ?M MilesPerHour)) (greaterThan ?M ?S))))))))	Cars.kif 2913-2931	例 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
(=> (instance ?E Engine) (exists (?C) (and (instance ?C Crankcase) (equal ?E (HoleHostFn ?C)))))	Cars.kif 328-333	例 Object and 發動機 HoleRegion 例 HoleRegion and Crankcase 等於 Object and 洞主持人 HoleRegion

consequent

(=> (instance ?AI AirIntake) (hasPurpose ?AI (exists (?A ?E ?T) (and (instance ?A Air) (instance ?E Engine) (instance ?T Transfer) (origin ?T ?AI) (destination ?T ?E) (patient ?T ?A)))))	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
(=> (instance ?B Backfire) (exists (?E ?NC) (and (not (instance ?NC EngineCylinder)) (instance ?E Engine) (part ?NC ?E) (eventLocated ?B ?NC))))	Cars.kif 1354-1362	例 Process and Backfire Object Object 例 Object and EngineCylinder 例 Object and 發動機部分 Object and Object Process 是 located 在 Object
(=> (instance ?D Distributor) (hasPurpose ?D (exists (?SP ?S ?O ?R ?E) (and (instance ?E Engine) (instance ?SP SparkPlug) (instance ?S Spark) (part ?O ?D) (part ?D ?E) (part ?SP ?E) (instance ?R Rotating) (causes ?R ?S)))))	Cars.kif 2257-2269	例 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
(=> (instance ?ECM EngineControlModule) (hasPurpose ?ECM (exists (?A ?E ?P1 ?P2) (and (instance ?A Automobile) (instance ?E Engine) (instance ?P1 Process) (instance ?P2 Process) (part ?E ?A) (part ?ECM ?A) (eventLocated ?P1 ?ECM) (eventLocated ?P2 ?E) (causes ?P1 ?P2)))))	Cars.kif 2502-2515	例 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
(=> (instance ?FWD FourWheelDriveVehicle) (hasPurpose ?FWD (forall (?W) (and (part ?W ?FWD) (exists (?E ?C ?R1 ?R2) (and (instance ?E Engine) (part ?E ?FWD) (instance ?C Crankshaft) (part ?C ?E) (instance ?R1 Rotating) (patient ?R1 ?C) (instance ?R2 Rotating) (patient ?R2 ?W) (causes ?R1 ?R2)))))))	Cars.kif 4573-4589	例 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
(=> (instance ?GP GasPedal) (hasPurpose ?GP (exists (?P ?T ?F ?E ?A) (and (instance ?P Pushing) (instance ?T Transfer) (instance ?F Fuel) (instance ?E Engine) (instance ?A Automobile) (part ?GP ?A) (part ?E ?A) (destination ?P ?GP) (destination ?T ?E) (patient ?T ?F) (causes ?P ?T)))))	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
(=> (instance ?GT GasTank) (hasPurpose ?GT (exists (?F ?T ?E) (and (instance ?F Fuel) (contains ?GT ?F) (instance ?E Engine) (instance ?T Transfer) (origin ?T ?GT) (destination ?T ?E) (patient ?T ?F)))))	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
(=> (instance ?IVE InteriorVehicleEquipment) (hasPurpose ?IVE (exists (?V ?E) (and (instance ?V Automobile) (instance ?E Engine) (part ?E ?V) (not (part ?IVE ?E)) (part ?IVE ?V) (orientation ?IVE ?V Inside)))))	Cars.kif 4679-4690	例 Physical and InteriorVehicleEquipment 有目的 Physical and entity entity 例 entity and 汽車例 entity and 發動機部分 entity and entity 部分 Physical and entity 部分 Physical and entity 方位 Physical, entity and 內
(=> (instance ?TWD TwoWheelDriveVehicle) (hasPurpose ?TWD (exists (?W1 ?W2) (and (part ?W1 ?TWD) (part ?W2 ?TWD) (not (equal ?W1 ?W2)) (exists (?E ?C ?R1 ?R2 ?R3) (and (instance ?E Engine) (part ?E ?TWD) (instance ?C Crankshaft) (part ?C ?E) (instance ?R1 Rotating) (patient ?R1 ?C) (instance ?R2 Rotating) (patient ?R2 ?W1) (causes ?R1 ?R2) (patient ?R3 ?W2) (causes ?R1 ?R3) (not (exists (?W3 ?R4) (and (not (equal ?W1 ?W3)) (not (equal ?W2 ?W3)) (part ?W3 ?TWD) (instance ?R4 Rotating) (patient ?R4 ?W3) (causes ?R1 ?R4))))))))))	Cars.kif 4596-4628	例 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
(=> (instance ?UD UnpoweredDevice) (not (exists (?E) (and (instance ?E Engine) (part ?E ?UD)))))	Cars.kif 4470-4476	例 Object and UnpoweredDevice Object 例 Object and 發動機部分 Object and Object
(=> (instance ?X RemoteIgnitionControl) (hasPurpose ?X (exists (?VEHICLE ?ENGINE ?SIGNAL ?PROC) (and (instance ?VEHICLE PoweredVehicle) (instance ?SIGNAL ElectronicSignalling) (instrument ?SIGNAL ?X) (destination ?SIGNAL ?VEHICLE) (instance ?ENGINE Engine) (component ?ENGINE ?VEHICLE) (instance ?PROC (OperatingFn Engine)) (experiencer ?PROC ?ENGINE) (causes ?SIGNAL ?PROC)))))	Cars.kif 3740-3754	例 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 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