| 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 834-834 | Left I metacarpal is a subclass of palm bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 838-838 | Right I metacarpal is a subclass of palm bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 842-842 | Left II metacarpal is a subclass of palm bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 846-846 | Right II metacarpal is a subclass of palm bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 850-850 | Left III metacarpal is a subclass of palm bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 854-854 | Right III metacarpal is a subclass of palm bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 858-858 | Left IV metacarpal is a subclass of palm bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 862-862 | Right IV metacarpal is a subclass of palm bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 866-866 | Left V metacarpal is a subclass of palm bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 870-870 | Right V metacarpal is a subclass of palm bone |
|
|