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 は InternalCombustionEngine の subclass では %n |
appearance as argument number 2 |
appearance as argument number 3 |
(domain engineDisplacement 1 IntermittentCombustionEngine) | Cars.kif 4976-4976 | engineDisplacement の数値 1 引数は IntermittentCombustionEngine の instance では %n |
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 |