AutomobileMuffler(muffler) | muffler, silencer |
appearance as argument number 1 |
(documentation AutomobileMuffler EnglishLanguage "A part of an AutomobileExhaustSystem that serves to reduce the amount of noise transmitted from the Engine to the environment.") | Cars.kif 2621-2623 | |
(subclass AutomobileMuffler Device) | Cars.kif 2619-2619 | Muffler is a subclass of device |
appearance as argument number 2 |
(termFormat EnglishLanguage AutomobileMuffler "muffler") | Cars.kif 2620-2620 |
consequent |