![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
UniversalJoint(universal joint)
| universal, universal_joint |
| appearance as argument number 1 |
|
|
| (subclass UniversalJoint MechanicalJoint) | Cars.kif 4136-4136 | Universal joint is a subclass of mechanical joint |
| (externalImage UniversalJoint "http://upload.wikimedia.org/wikipedia/commons/ b/ b5/ Universal_joint.gif") | Cars.kif 4137-4137 | Universal joint is a subclass of mechanical joint |
| (documentation UniversalJoint EnglishLanguage "A joint that couples two shafts at variables angles to one another. It is distinct from a CVJoint in that the shafts do not travel at a constant velocity with respect to one another. This causes vibration and wear. However, universal joints are simpler to make than CV joints.") | Cars.kif 4139-4143 | Universal joint is a subclass of mechanical joint |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage UniversalJoint "universal joint") | Cars.kif 4138-4138 |