FourStrokeEngineCycle
|
|
appearance as argument number 1 |
(documentation FourStrokeEngineCycle EnglishLanguage "The Processes that occur in a FourStrokeEngine. Such a cycle necessarily includes each instance of one of the four strokes, in sequence, followed by another intake stroke.") | Cars.kif 136-138 | |
(subclass FourStrokeEngineCycle EngineCycle) | Cars.kif 134-134 |
appearance as argument number 2 |
(termFormat EnglishLanguage FourStrokeEngineCycle "four stroke engine cycle") | Cars.kif 135-135 |
antecedent |
(=> (instance ?F FourStrokeEngineCycle) (exists (?E) (and (instance ?E FourStrokeEngine) (eventLocated ?F ?E)))) |
Cars.kif 140-145 | |
(=> (instance ?FSE FourStrokeEngineCycle) (exists (?I ?CM ?CB ?E ?I2) (and (instance ?I FourStrokeIntake) (instance ?CM FourStrokeCompression) (instance ?CB FourStrokeCombustion) (instance ?E FourStrokeExhaust) (instance ?I2 FourStrokeIntake) (subProcess ?I ?FSE) (subProcess ?CM ?FSE) (subProcess ?CB ?FSE) (subProcess ?E ?FSE) (subProcess ?I2 ?FSE) (meetsTemporally ?I ?CM) (meetsTemporally ?CM ?CB) (meetsTemporally ?CB ?E) (meetsTemporally ?E ?I2)))) |
Cars.kif 147-164 |