|
|
   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 | 子類 AutomobileMuffler and Device |
| 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 |
|
|
|