| 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 3393-3394 | |
| (subclass ORing Gasket) | Cars.kif 3392-3392 | O_ring is a subclass of gasket |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ORing "o_ring") | domainEnglishFormat.kif 65282-65282 |
|
|
|