Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ArmBone(arm bone) |  | arm_bone |
| appearance as argument number 1 |
|
|
| (subclass ArmBone Bone) | Anatomy.kif 689-689 | Arm bone is a subclass of bone |
| (documentation ArmBone EnglishLanguage "arm bone") | Anatomy.kif 691-691 | Arm bone is a subclass of bone |
| (initialPart ArmBone Arm) | Anatomy.kif 692-692 | Every arm bone is initially part of a arm |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ArmBone "arm bone") | Anatomy.kif 690-690 | |
| (subclass Humerus ArmBone) | Anatomy.kif 695-695 | Humerus is a subclass of arm bone |
| (subclass Ulna ArmBone) | Anatomy.kif 708-708 | Ulna is a subclass of arm bone |
| (subclass Radius ArmBone) | Anatomy.kif 726-726 | Radius is a subclass of arm bone |
| (subclass WristBone ArmBone) | Anatomy.kif 745-745 | Wrist bone is a subclass of arm bone |
| (subclass PalmBone ArmBone) | Anatomy.kif 849-849 | Palm bone is a subclass of arm bone |
| (subclass FingerBone ArmBone) | Anatomy.kif 897-897 | Finger bone is a subclass of arm bone |
|