| CranialBone(cranial bone) | | calvaria, frontal_eminence, mastoid, mastoid_bone, mastoid_process, mastoidal, occipital_protuberance, occiput, parietal_bone, pterygoid_process, skullcap, styloid_process |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 59-59 | |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 57-57 | Cranial bone is a subclass of head bone |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 95-95 | Ethmoid bone is a subclass of cranial bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 61-61 | Frontal bone is a subclass of cranial bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 65-65 | Left parietal bone is a subclass of cranial bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 85-85 | Occipital bone is a subclass of cranial bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 69-69 | Right parietal bone is a subclass of cranial bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 91-91 | Sphenoid bone is a subclass of cranial bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 73-73 | Temporal bone is a subclass of cranial bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 58-58 |
|
|
|