AutomobileMuffler
|
|
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 | AutomobileMuffler は デバイス の subclass では %n |
appearance as argument number 2 |
(termFormat EnglishLanguage AutomobileMuffler "muffler") | Cars.kif 2620-2620 |
consequent |