| ThoracicVertebraBone | |
| appearance as argument number 1 |
|
|
| (documentation ThoracicVertebraBone EnglishLanguage "thoracic vertebra bone") | Anatomy.kif 618-618 | |
| (subclass ThoracicVertebraBone VertebraBone) | Anatomy.kif 616-616 |
| appearance as argument number 2 |
|
|
| (subclass T10VertebraBone ThoracicVertebraBone) | Anatomy.kif 656-656 | |
| (subclass T11VertebraBone ThoracicVertebraBone) | Anatomy.kif 660-660 | |
| (subclass T12VertebraBone ThoracicVertebraBone) | Anatomy.kif 664-664 | |
| (subclass T1VertebraBone ThoracicVertebraBone) | Anatomy.kif 620-620 | |
| (subclass T2VertebraBone ThoracicVertebraBone) | Anatomy.kif 624-624 | |
| (subclass T3VertebraBone ThoracicVertebraBone) | Anatomy.kif 628-628 | |
| (subclass T4VertebraBone ThoracicVertebraBone) | Anatomy.kif 632-632 | |
| (subclass T5VertebraBone ThoracicVertebraBone) | Anatomy.kif 636-636 | |
| (subclass T6VertebraBone ThoracicVertebraBone) | Anatomy.kif 640-640 | |
| (subclass T7VertebraBone ThoracicVertebraBone) | Anatomy.kif 644-644 | |
| (subclass T8VertebraBone ThoracicVertebraBone) | Anatomy.kif 648-648 | |
| (subclass T9VertebraBone ThoracicVertebraBone) | Anatomy.kif 652-652 | |
| (termFormat EnglishLanguage ThoracicVertebraBone "thoracic vertebra bone") | Anatomy.kif 617-617 |
| antecedent |
|
|
| (=> (and (instance ?R ThoracicVertebraBone) (part ?R ?H) (instance ?H Human) (not (attribute ?H DiseaseOrSyndrome))) (exists (?S) (and (instance ?S ThoracicVertebraBone) (not (equal ?S ?R)) (part ?S ?H) (connectedBodyPart ?S ?R)))) |
Anatomy.kif 669-682 |
| consequent |
|
|
| (=> (and (instance ?R ThoracicVertebraBone) (part ?R ?H) (instance ?H Human) (not (attribute ?H DiseaseOrSyndrome))) (exists (?S) (and (instance ?S ThoracicVertebraBone) (not (equal ?S ?R)) (part ?S ?H) (connectedBodyPart ?S ?R)))) |
Anatomy.kif 669-682 |
|
|
|