Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| RoboticJoint(robotic joint) |
| appearance as argument number 1 |
|
| (subclass RoboticJoint MechanicalJoint) | engineering.kif 1166-1166 | Robotic joint is a subclass of mechanical joint |
| (documentation RoboticJoint EnglishLanguage "RoboticJoints are movable parts of a robot which allow adjacent links to move in relation to one another. These links refer to the rigid components that connect the joints to ensure proper and efficient operation. Like the bones in a human arm, movable segments in a robot are linked up with these robotic joints.") | engineering.kif 1167-1171 | Robotic joint is a subclass of mechanical joint |
| (typicalPart RoboticJoint Robot) | engineering.kif 1172-1172 | A robotic joint is typically a part of a robot |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage RoboticJoint "robotic joint") | domainEnglishFormat.kif 65961-65961 |
|