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 |
![]() |
![]() |
![]() |