| ORing(o-ring) | | O_ring |
| appearance as argument number 1 |
|
|
| (documentation ORing EnglishLanguage "A Gasket that has an O-shaped cross section. It is often made of Rubber or a synthetic rubber which is actually Plastic.") | Cars.kif 3317-3318 | |
| (subclass ORing Gasket) | Cars.kif 3316-3316 | O-ring is a subclass of gasket |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ORing "o-ring") | domainEnglishFormat.kif 65307-65307 |
|
|
|