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 2131-2133 | |
(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 2130-2130 |
appearance as argument number 2 |
![]() |
(subclass ElectricMotor Engine) | Mid-level-ontology.kif 2192-2192 | |
(subclass InternalCombustionEngine Engine) | Mid-level-ontology.kif 2173-2173 | |
(subclass OutboardEngine Engine) | Cars.kif 4308-4308 | |
(subclass SteamEngine Engine) | Mid-level-ontology.kif 2161-2161 | |
(subclass Turbine Engine) | Mid-level-ontology.kif 2165-2165 | |
(termFormat ChineseLanguage Engine "发动机") | domainEnglishFormat.kif 22009-22009 | |
(termFormat ChineseTraditionalLanguage Engine "發動機") | domainEnglishFormat.kif 22008-22008 | |
(termFormat EnglishLanguage Engine "engine") | domainEnglishFormat.kif 22007-22007 |
appearance as argument number 3 |
![]() |
(domain compressionRatio 1 Engine) | Cars.kif 1909-1909 | |
(domain engineCylinders 1 Engine) | Cars.kif 4504-4504 | |
(domain maxCylinderVolume 1 Engine) | Cars.kif 1882-1882 | |
(domain minCylinderVolume 1 Engine) | Cars.kif 1854-1854 | |
(domain pistonStroke 1 Engine) | Cars.kif 1925-1925 |
antecedent |
![]() |
consequent |
![]() |
(=> (instance ?AI AirIntake) (hasPurpose ?AI (exists (?A) (and (instance ?A Air) (instance ?E Engine) (instance ?T Transfer) (origin ?T ?AI) (destination ?T ?E) (patient ?T ?A))))) |
Cars.kif 963-973 | |
(=> (instance ?B Backfire) (exists (?E ?NC) (and (not (instance ?NC EngineCylinder)) (instance ?E Engine) (part ?NC ?E) (eventLocated ?B ?NC)))) |
Cars.kif 1349-1357 | |
(=> (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 2260-2272 | |
(=> (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 2505-2518 | |
(=> (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 4567-4583 | |
(=> (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 2526-2541 | |
(=> (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 990-1001 | |
(=> (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 4673-4684 | |
(=> (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 4590-4622 | |
(=> (instance ?UD UnpoweredDevice) (not (exists (?E) (and (instance ?E Engine) (part ?E ?UD))))) |
Cars.kif 4457-4463 | |
(=> (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 3727-3741 |
![]() |
![]() |