|
|
   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 2598-2600 | |
| (subclass AutomobileMuffler Device) | Cars.kif 2596-2596 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AutomobileMuffler "muffler") | Cars.kif 2597-2597 |
| consequent |
|
|
| (=> (instance ?EM ExhaustManifold) (hasPurpose ?EM (exists (?A ?E ?C ?M ?T) (and (instance ?A Automobile) (instance ?E Exhaust) (instance ?C EngineCylinder) (instance ?M AutomobileMuffler) (instance ?T Transfer) (part ?EM ?A) (part ?C ?A) (part ?M ?A) (origin ?T ?C) (destination ?T ?M) (patient ?T ?E) (instrument ?T ?E))))) |
Cars.kif 2612-2628 | |
| (=> (instance ?T Tailpipe) (hasPurpose ?T (exists (?M) (and (instance ?M AutomobileMuffler) (connectedEngineeringComponents ?M ?T))))) |
Cars.kif 4023-4029 |
|
|
|