TwoStrokeEngineCycle |
appearance as argument number 1 |
(documentation TwoStrokeEngineCycle EnglishLanguage "The Processes that occur in a TwoStrokeEngine. Such a cycle necessarily includes each instance of one of the strokes, in sequence, followed by another intake stroke.") | Cars.kif 253-255 | |
(subclass TwoStrokeEngineCycle EngineCycle) | Cars.kif 251-251 |
appearance as argument number 2 |
(termFormat EnglishLanguage TwoStrokeEngineCycle "two stroke engine cycle") | Cars.kif 252-252 |
antecedent |
(=> (instance ?F TwoStrokeEngineCycle) (exists (?E) (and (instance ?E TwoStrokeEngine) (eventLocated ?F ?E)))) |
Cars.kif 257-262 | |
(=> (instance ?T TwoStrokeEngineCycle) (exists (?I ?C ?TT ?I2) (and (instance ?I TwoStrokeIntake) (instance ?C TwoStrokeCompression) (instance ?TT TwoStrokeTransfer) (instance ?I2 TwoStrokeIntake) (subProcess ?I ?T) (subProcess ?C ?T) (subProcess ?TT ?T) (subProcess ?I2 ?T) (meetsTemporally ?I ?C) (meetsTemporally ?C ?TT) (meetsTemporally ?TT ?I2)))) |
Cars.kif 264-278 |