| 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 746-746 | ScaphoidBone is a subclass of wrist bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 751-751 | Navicular bone is a subclass of wrist bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 756-756 | LunateBone is a subclass of wrist bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 761-761 | TriquetralBone is a subclass of wrist bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 766-766 | PisiformBone is a subclass of wrist bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 771-771 | TrapeziumBone is a subclass of wrist bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 776-776 | TrapezoidBone is a subclass of wrist bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 781-781 | CapitateBone is a subclass of wrist bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 786-786 | HamateBone is a subclass of wrist bone |
|
|