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 1725-1727 | |
(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 1724-1724 | Engine ist eine teilkategorie von Transducer |
appearance as argument number 2 |
(subclass ElectricMotor Engine) | Mid-level-ontology.kif 1779-1779 | ElectricMotor ist eine teilkategorie von Engine |
(subclass InternalCombustionEngine Engine) | Mid-level-ontology.kif 1760-1760 | InternalCombustionEngine ist eine teilkategorie von Engine |
(subclass OutboardEngine Engine) | Cars.kif 4336-4336 | OutboardEngine ist eine teilkategorie von Engine |
(subclass SteamEngine Engine) | Mid-level-ontology.kif 1748-1748 | SteamEngine ist eine teilkategorie von Engine |
(subclass Turbine Engine) | Mid-level-ontology.kif 1752-1752 | Turbine ist eine teilkategorie von Engine |
(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 1920-1920 | Die Zahl 1 Argument von compressionRatio ist ein fall von Engine %n{nicht} |
(domain engineCylinders 1 Engine) | Cars.kif 4525-4525 | Die Zahl 1 Argument von engineCylinders ist ein fall von Engine %n{nicht} |
(domain maxCylinderVolume 1 Engine) | Cars.kif 1890-1890 | Die Zahl 1 Argument von maxCylinderVolume ist ein fall von Engine %n{nicht} |
(domain minCylinderVolume 1 Engine) | Cars.kif 1859-1859 | Die Zahl 1 Argument von minCylinderVolume ist ein fall von Engine %n{nicht} |
(domain pistonStroke 1 Engine) | Cars.kif 1936-1936 | Die Zahl 1 Argument von pistonStroke ist ein fall von Engine %n{nicht} |
antecedent |
(=> (and (instance ?C Cam) (instance ?CS Camshaft) (instance ?E Engine) (part ?C ?E) (part ?CS ?E)) (hasPurpose ?CS (connectedEngineeringComponents ?C ?CS))) |
Cars.kif 1660-1668 |
|
(=> (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 1838-1856 |
|
(=> (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 1817-1836 |
|
(=> (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 1717-1733 |
|
(=> (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 2142-2154 |
|
(=> (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 2930-2948 |
|
(=> (instance ?E Engine) (exists (?C) (and (instance ?C Crankcase) (equal ?E (HoleHostFn ?C))))) |
Cars.kif 328-333 |
|
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 |
|
(=> (instance ?B Backfire) (exists (?E ?NC) (and (not (instance ?NC EngineCylinder)) (instance ?E Engine) (part ?NC ?E) (eventLocated ?B ?NC)))) |
Cars.kif 1354-1362 |
|
(=> (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 2274-2286 |
|
(=> (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 2519-2532 |
|
(=> (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 4588-4604 |
|
(=> (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 2540-2555 |
|
(=> (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 |
|
(=> (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 4694-4705 |
|
(=> (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 4611-4643 |
|
(=> (instance ?UD UnpoweredDevice) (not (exists (?E) (and (instance ?E Engine) (part ?E ?UD))))) |
Cars.kif 4485-4491 |
|
(=> (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 3755-3769 |
|