| AutomobileMuffler(muffler) | | muffler, silencer |
| appearance as argument number 1 |
|
|
| (subclass AutomobileMuffler Device) | Cars.kif 2614-2614 | Muffler is a subclass of device |
| (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 2616-2618 | Muffler is a subclass of device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AutomobileMuffler "muffler") | Cars.kif 2615-2615 |
| 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 2630-2646 | If X is an instance of exhaust manifold, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V (2) U such that Y is an instance of automobile (3) Z is an instance of exhaust (4) W is an instance of engine cylinder (5) V is an instance of muffler (6) U is an instance of transfer (7) X is a part of Y (8) W is a part of Y (9) V is a part of Y (10) U originates at W (11) U ends up at V (12) Z is a patient of U (13) Z is an instrument for U |
| (=> (instance ?T Tailpipe) (hasPurpose ?T (exists (?M) (and (instance ?M AutomobileMuffler) (connectedEngineeringComponents ?M ?T))))) |
Cars.kif 4116-4122 | If X is an instance of tailpipe, then X has the purpose there exists Y such that Y is an instance of muffler and Y is connected to X |
|
|
|