| Backfire(backfire) | | backfire |
| appearance as argument number 1 |
|
|
| (documentation Backfire EnglishLanguage "An improper case of Engine operation where Combustion occurs in the Exhaust or intake.") | Cars.kif 1352-1353 | |
| (subclass Backfire Combustion) | Cars.kif 1350-1350 | Backfire is a subclass of burning |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Backfire "backfire") | Cars.kif 1351-1351 |
| antecedent |
|
|
| (=> (instance ?B Backfire) (exists (?E ?NC) (and (not (instance ?NC EngineCylinder)) (instance ?E Engine) (part ?NC ?E) (eventLocated ?B ?NC)))) |
Cars.kif 1354-1362 |
|
|
|
|