| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 877-877 | Finger bone is a subclass of arm bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1285-1285 | Finger bone is a subclass of Phalanx |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 882-882 | Left proximal phalanx I bone is a subclass of finger bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 886-886 | Right proximal phalanx I bone is a subclass of finger bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 890-890 | Left proximal phalanx II bone is a subclass of finger bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 894-894 | Right proximal phalanx II bone is a subclass of finger bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 898-898 | Left proximal phalanx III bone is a subclass of finger bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 902-902 | Right proximal phalanx III bone is a subclass of finger bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 906-906 | Left proximal phalanx IV bone is a subclass of finger bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 910-910 | Right proximal phalanx IV bone is a subclass of finger bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 914-914 | Left proximal phalanx V bone is a subclass of finger bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 918-918 | Right proximal phalanx V bone is a subclass of finger bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 924-924 | Left intermediate phalanx II bone is a subclass of finger bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 928-928 | Right intermediate phalanx II bone is a subclass of finger bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 932-932 | Left intermediate phalanx III bone is a subclass of finger bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 936-936 | Right intermediate phalanx III bone is a subclass of finger bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 940-940 | Left intermediate phalanx IV bone is a subclass of finger bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 944-944 | Right intermediate phalanx IV bone is a subclass of finger bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 948-948 | Left intermediate phalanx V bone is a subclass of finger bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 952-952 | Right intermediate phalanx V bone is a subclass of finger bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 957-957 | Left distal phalanx I bone is a subclass of finger bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 961-961 | Right distal phalanx I bone is a subclass of finger bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 965-965 | Left distal phalanx II bone is a subclass of finger bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 969-969 | Right distal phalanx II bone is a subclass of finger bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 973-973 | Left distal phalanx III bone is a subclass of finger bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 977-977 | Right distal phalanx III bone is a subclass of finger bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 981-981 | Left distal phalanx IV bone is a subclass of finger bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 985-985 | Right distal phalanx IV bone is a subclass of finger bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 989-989 | Left distal phalanx V bone is a subclass of finger bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 993-993 | Right distal phalanx V bone is a subclass of finger bone |
|
|