Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| AutomobileMuffler(muffler) |  | muffler, silencer |
| appearance as argument number 1 |
|
|
| (subclass AutomobileMuffler Device) | Cars.kif 2451-2451 | 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 2453-2455 | Muffler is a subclass of device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AutomobileMuffler "muffler") | Cars.kif 2452-2452 |
| 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 2467-2483 | 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 3908-3914 | 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 |
|