Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Bearing(bearing) |  | bearing, fifth_wheel, thrust_bearing |
| appearance as argument number 1 |
|
|
| (subclass Bearing MechanicalJoint) | Cars.kif 1313-1313 | Bearing is a subclass of mechanical joint |
| (documentation Bearing EnglishLanguage "A Device designed to let the surfaces of two objects move in relation to one another with limited friction. Ball bearings roll in a channel affixed to one surface.") | Cars.kif 1315-1316 | Bearing is a subclass of mechanical joint |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Bearing "bearing") | Cars.kif 1314-1314 |
|