![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| BallJoint(ball joint) | ball-and-socket_joint |
| appearance as argument number 1 |
|
|
| (subclass BallJoint MechanicalJoint) | Cars.kif 1303-1303 | Ball joint is a subclass of mechanical joint |
| (externalImage BallJoint "http://upload.wikimedia.org/wikipedia/en/thumb/ 0/ 0f/ Ball_joint_cross_section.jpg/ 220px_Ball_joint_cross_section.jpg") | Cars.kif 1304-1304 | Ball joint is a subclass of mechanical joint |
| (documentation BallJoint EnglishLanguage "A ball joint allows for travel of two linked entities, where if one entity is fixed, the other can travel on paths that describe a portion of the surface of a sphere. A typical application is a linkage between the Wheels and AutoSuspensionSystem. A spring is typically included in order to reduce vibration.") | Cars.kif 1306-1309 | Ball joint is a subclass of mechanical joint |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BallJoint "ball joint") | Cars.kif 1310-1310 | |
| (typicallyContainsPart Spring BallJoint) | Cars.kif 1311-1311 | A ball joint typically has a part spring |