| Tailpipe(tailpipe) | | exhaust_pipe, tailpipe |
| appearance as argument number 1 |
|
|
| (subclass Tailpipe Tube) | Cars.kif 4108-4108 | Tailpipe is a subclass of tube |
| (typicalPart Tailpipe AutomobileExhaustSystem) | Cars.kif 4109-4109 | A tailpipe is typically a part of a exhaust system |
| (typicallyContainsPart Tailpipe AutomobileExhaustSystem) | Cars.kif 4110-4110 | A exhaust system typically has a part tailpipe |
| (documentation Tailpipe EnglishLanguage "Typically the last portion of an AutomobileExhaustSystem, which is after the AutomobileMuffler, just before Engine Exhaust is vented to the surrounding Air.") | Cars.kif 4112-4114 | A exhaust system typically has a part tailpipe |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Tailpipe "tailpipe") | Cars.kif 4111-4111 |
| antecedent |
|
|
| (=> (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 |
| (=> (and (instance ?T Tailpipe) (instance ?TR Transfer) (instance ?E Exhaust) (instance ?A Automobile) (instance ?AES AutomobileExhaustSystem) (part ?T ?A) (path ?TR ?T) (patient ?TR ?E)) (hasPurpose ?T (not (exists (?O) (and (part ?O ?A) (beforeOnPath ?T ?O ?AES ?TR)))))) |
Cars.kif 4124-4139 | If All of the following hold: (1) X is an instance of tailpipe (2) Y is an instance of transfer (3) Z is an instance of exhaust (4) W is an instance of automobile (5) V is an instance of exhaust system (6) X is a part of W (7) X is path along which Y occurs (8) Z is a patient of Y, then X has the purpose there doesn't exist U such that U is a part of W and X before U on path V during Y |
|
|
|