| Gasket | |
| appearance as argument number 1 |
|
|
| (documentation Gasket EnglishLanguage "A Device that is designed to allow two imperfect surfaces to mate cleanly, without gaps, and therefore prevent leakage of any Liquids.") | Cars.kif 2819-2821 | |
| (subclass Gasket Device) | Cars.kif 2817-2817 | subclass Gasket and Device |
| appearance as argument number 2 |
|
|
| (subclass ORing Gasket) | Cars.kif 3306-3306 | subclass ORing and Gasket |
| (subclass PistonRing Gasket) | Cars.kif 3776-3776 | subclass PistonRing and Gasket |
| (termFormat EnglishLanguage Gasket "gasket") | Cars.kif 2818-2818 |
| antecedent |
|
|
|
|
|