FingerBone
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 879-879 | |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 880-880 | Every finger bone is initially part of a hand |
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 |
appearance as argument number 2 |
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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 993-993 | Right distal phalanx V 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 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 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 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 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 894-894 | Right proximal phalanx II bone is a subclass of finger bone |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1286-1286 | Phalanx is exhaustively partitioned into toe bone and finger bone |