| GMLs1V8engine(ls1 engine) |
| appearance as argument number 1 |
|
|
| (manufacturer GMLs1V8engine GeneralMotorsCorp) | Cars.kif 5177-5177 | The maker of ls1 engine is General Motors |
| (subclass GMLs1V8engine EightCylinderEngine) | Cars.kif 5175-5175 | Ls1 engine is a subclass of eight cylinder engine |
| (typicalPart GMLs1V8engine Corvette) | Cars.kif 5182-5182 | A ls1 engine is typically a part of a Corvette |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage GMLs1V8engine "ls1 engine") | Cars.kif 5176-5176 |
|
|