| Tailpipe(tailpipe) | | exhaust_pipe, tailpipe |
| appearance as argument number 1 |
|
|
| (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 4042-4044 | |
| (subclass Tailpipe Tube) | Cars.kif 4038-4038 | Tailpipe is a subclass of tube |
| (typicalPart Tailpipe AutomobileExhaustSystem) | Cars.kif 4039-4039 | A tailpipe is typically a part of a exhaust system |
| (typicallyContainsPart Tailpipe AutomobileExhaustSystem) | Cars.kif 4040-4040 | A exhaust system typically has a part tailpipe |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Tailpipe "tailpipe") | Cars.kif 4041-4041 |
| antecedent |
|
|
|
|
|