|
|
   IntermittentCombustionEngine
|
|
|
| appearance as argument number 1 |
|
|
| (documentation IntermittentCombustionEngine EnglishLanguage "An Engine, such as found in a modern Automobile, in which Combustion is not continuous, as in a Rocket, but rather a rapid series of small Explosions.") | Cars.kif 92-94 | |
| (subclass IntermittentCombustionEngine InternalCombustionEngine) | Cars.kif 91-91 | IntermittentCombustionEngine est une sous-classe de InternalCombustionEngine |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain engineDisplacement 1 IntermittentCombustionEngine) | Cars.kif 4961-4961 | Le nombre 1 argument de engineDisplacement est une instance de IntermittentCombustionEngine |
| antecedent |
|
|
| (=> (and (instance ?C Crankshaft) (instance ?I IntermittentCombustionEngine) (part ?I ?C)) (hasPurpose ?C (exists (?E ?R) (and (instance ?E Explosion) (instance ?R Rotating) (patient ?R ?C) (eventLocated ?R ?I) (causes ?E ?R))))) |
Cars.kif 349-361 |
|
| (=> (instance ?I IntermittentCombustionEngine) (hasPurpose ?I (exists (?E ?M) (and (instance ?E Explosion) (instance ?M Motion) (eventLocated ?E ?I) (eventLocated ?M ?I) (causes ?E ?M))))) |
Cars.kif 280-289 |
|
|
|