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 and 內燃機 |
appearance as argument number 2 |
appearance as argument number 3 |
(domain engineDisplacement 1 IntermittentCombustionEngine) | Cars.kif 4976-4976 | 域 engineDisplacement, 1 and 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 |