Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| PalmBone(palm bone) |  | metacarpal, metacarpal_bone |
| appearance as argument number 1 |
|
|
| (subclass PalmBone ArmBone) | Anatomy.kif 849-849 | Palm bone is a subclass of arm bone |
| (documentation PalmBone EnglishLanguage "palm bone") | Anatomy.kif 851-851 | Palm bone is a subclass of arm bone |
| (initialPart PalmBone Hand) | Anatomy.kif 852-852 | Every palm bone is initially part of a hand |
| appearance as argument number 2 |
|
|
|