No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 52-52 | Head bone is a subclass of bone |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 57-57 | Cranial bone is a subclass of head bone |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 99-99 | Facial bone is a subclass of head bone |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 168-168 | Inner ear bone is a subclass of head bone |