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 e' uma sub-classe de InternalCombustionEngine |
appearance as argument number 2 |
appearance as argument number 3 |
(domain engineDisplacement 1 IntermittentCombustionEngine) | Cars.kif 4961-4961 | O argumento numero 1 de engineDisplacement e' uma instancia 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 |