TwoStrokeCompression |
appearance as argument number 1 |
(documentation TwoStrokeCompression EnglishLanguage "The portion of a two stroke engine cycle where combustion occurs, forcing the piston out of the combustion chamber, and the fuel mixture is compressed in the crankcase.") | Cars.kif 487-489 | |
(subclass TwoStrokeCompression Motion) | Cars.kif 485-485 | TwoStrokeCompression è una sottoclasse di Movimento |
appearance as argument number 2 |
(termFormat EnglishLanguage TwoStrokeCompression "two stroke compression") | Cars.kif 486-486 |
antecedent |
(=> (and (instance ?TSC TwoStrokeCompression) (eventLocated ?TSC ?E) (instance ?E TwoStrokeEngine)) (exists (?C) (and (instance ?C Explosion) (during ?C ?TSC) (eventLocated ?C ?E)))) |
Cars.kif 491-500 |
|
consequent |