Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ORing(o_ring) |  | O_ring |
| appearance as argument number 1 |
|
|
| (subclass ORing Gasket) | Cars.kif 3221-3221 | O_ring is a subclass of gasket |
| (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 3222-3223 | O_ring is a subclass of gasket |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ORing "o_ring") | domainEnglishFormat.kif 65262-65262 |
|