Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   HeadBone
|
|
|
| appearance as argument number 1 |
|
|
| (subclass HeadBone Bone) | Anatomy.kif 49-49 | Head bone is a subclass of bone |
| (documentation HeadBone EnglishLanguage "head bone") | Anatomy.kif 51-51 | Head bone is a subclass of bone |
| (initialPart HeadBone Head) | Anatomy.kif 52-52 | Every head bone is initially part of a head |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage HeadBone "head bone") | Anatomy.kif 50-50 | |
| (subclass CranialBone HeadBone) | Anatomy.kif 54-54 | Cranial bone is a subclass of head bone |
| (subclass FacialBone HeadBone) | Anatomy.kif 96-96 | Facial bone is a subclass of head bone |
| (subclass InnerEarBone HeadBone) | Anatomy.kif 175-175 | Inner ear bone is a subclass of head bone |
|