| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 616-616 | 子類 ThoracicVertebraBone and VertebraBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 620-620 | 子類 T1VertebraBone and ThoracicVertebraBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 624-624 | 子類 T2VertebraBone and ThoracicVertebraBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 628-628 | 子類 T3VertebraBone and ThoracicVertebraBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 632-632 | 子類 T4VertebraBone and ThoracicVertebraBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 636-636 | 子類 T5VertebraBone and ThoracicVertebraBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 640-640 | 子類 T6VertebraBone and ThoracicVertebraBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 644-644 | 子類 T7VertebraBone and ThoracicVertebraBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 648-648 | 子類 T8VertebraBone and ThoracicVertebraBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 652-652 | 子類 T9VertebraBone and ThoracicVertebraBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 656-656 | 子類 T10VertebraBone and ThoracicVertebraBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 660-660 | 子類 T11VertebraBone and ThoracicVertebraBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 664-664 | 子類 T12VertebraBone and ThoracicVertebraBone |
|
|