Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   HipJoint
|
|
|
| appearance as argument number 1 |
|
|
| (subclass HipJoint BodyJoint) | Mid-level-ontology.kif 14419-14419 | Hip joint is a subclass of body joint |
| (documentation HipJoint EnglishLanguage "The hip joint is a synovial joint formed by the articulation of the rounded head of the femur and the cup-like acetabulum of the pelvis.") | Mid-level-ontology.kif 14420-14421 | Hip joint is a subclass of body joint |
| appearance as argument number 2 |
|
|
|