No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 685-685 | Arm bone is a subclass of bone |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 691-691 | Humerus is a subclass of arm bone |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 704-704 | Ulna is a subclass of arm bone |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 722-722 | Radius is a subclass of arm bone |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 741-741 | Wrist bone is a subclass of arm bone |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 829-829 | Palm bone is a subclass of arm bone |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 877-877 | Finger bone is a subclass of arm bone |