FourStrokeEngine
|
|
appearance as argument number 1 |
(documentation FourStrokeEngine EnglishLanguage "InternalCombustionEngines based on the four-stroke (Otto cycle) have one power stroke for every four strokes (up-down-up-down) and employ spark plug ignition. Combustion occurs rapidly, and during combustion the volume varies little (constant volume). They are used in cars, larger boats, some motorcycles, and many light aircraft. They are generally quieter, more efficient, and larger than their TwoStrokeEngine counterparts. [from Wikipedia]") | Cars.kif 99-105 | |
(externalImage FourStrokeEngine "http://upload.wikimedia.org/wikipedia/commons/ d/ dc/ 4StrokeEngine_Ortho_3D_Small.gif") | Cars.kif 97-97 | |
(subclass FourStrokeEngine IntermittentCombustionEngine) | Cars.kif 96-96 | FourStrokeEngine ist eine teilkategorie von IntermittentCombustionEngine |
appearance as argument number 2 |
(termFormat EnglishLanguage FourStrokeEngine "four stroke engine") | Cars.kif 98-98 | |
(typicalPart ExhaustValve FourStrokeEngine) | Cars.kif 2645-2645 | typicalPart ExhaustValve and FourStrokeEngine |
(typicalPart IntakeValve FourStrokeEngine) | Cars.kif 2670-2670 | typicalPart IntakeValve and FourStrokeEngine |
(typicalPart PositiveCrankcaseVentilationValve FourStrokeEngine) | Cars.kif 3801-3801 | typicalPart PositiveCrankcaseVentilationValve and FourStrokeEngine |
(typicalPart RockerArm FourStrokeEngine) | Cars.kif 3826-3826 | typicalPart RockerArm and FourStrokeEngine |
(typicallyContainsPart ExhaustValve FourStrokeEngine) | Cars.kif 2646-2646 | typicallyContainsPart ExhaustValve and FourStrokeEngine |
(typicallyContainsPart IntakeValve FourStrokeEngine) | Cars.kif 2671-2671 | typicallyContainsPart IntakeValve and FourStrokeEngine |
(typicallyContainsPart RockerArm FourStrokeEngine) | Cars.kif 3827-3827 | typicallyContainsPart RockerArm and FourStrokeEngine |
antecedent |
consequent |
(=> (instance ?F FourStrokeEngineCycle) (exists (?E) (and (instance ?E FourStrokeEngine) (eventLocated ?F ?E)))) |
Cars.kif 140-145 |
|
(=> (instance ?RA RockerArm) (hasPurpose ?RA (exists (?P1 ?C ?P2 ?V ?O ?FSE) (and (instance ?P1 Pushing) (instance ?C Cam) (instance ?P2 Pushing) (instance ?V Valve) (instance ?O Opening) (instance ?FSE FourStrokeEngine) (part ?RA ?FSE) (part ?C ?FSE) (part ?V ?FSE) (instrument ?P1 ?C) (destination ?P1 ?RA) (instrument ?P2 ?RA) (destination ?P2 ?V) (causes ?P1 ?P2) (causes ?P2 ?O) (patient ?O ?V))))) |
Cars.kif 3829-3849 |
|