| ThoracicVertebraBone | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 618-618 | |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 616-616 | ThoracicVertebraBone 是 VertebraBone 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 656-656 | T10VertebraBone 是 ThoracicVertebraBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 660-660 | T11VertebraBone 是 ThoracicVertebraBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 664-664 | T12VertebraBone 是 ThoracicVertebraBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 620-620 | T1VertebraBone 是 ThoracicVertebraBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 624-624 | T2VertebraBone 是 ThoracicVertebraBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 628-628 | T3VertebraBone 是 ThoracicVertebraBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 632-632 | T4VertebraBone 是 ThoracicVertebraBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 636-636 | T5VertebraBone 是 ThoracicVertebraBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 640-640 | T6VertebraBone 是 ThoracicVertebraBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 644-644 | T7VertebraBone 是 ThoracicVertebraBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 648-648 | T8VertebraBone 是 ThoracicVertebraBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 652-652 | T9VertebraBone 是 ThoracicVertebraBone 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 617-617 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 669-682 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 669-682 |
|
|
|
|