No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 786-786 | HamateBone is a subclass of wrist bone |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 787-787 | Left hamate is a subclass of HamateBone |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 824-824 | Right hamate is a subclass of HamateBone |