| ThoracicVertebraBone | |
| appearance as argument number 1 |
|
|
| (documentation ThoracicVertebraBone EnglishLanguage "thoracic vertebra bone") | Anatomy.kif 633-633 | |
| (subclass ThoracicVertebraBone VertebraBone) | Anatomy.kif 631-631 |
| appearance as argument number 2 |
|
|
| (subclass T10VertebraBone ThoracicVertebraBone) | Anatomy.kif 671-671 | |
| (subclass T11VertebraBone ThoracicVertebraBone) | Anatomy.kif 675-675 | |
| (subclass T12VertebraBone ThoracicVertebraBone) | Anatomy.kif 679-679 | |
| (subclass T1VertebraBone ThoracicVertebraBone) | Anatomy.kif 635-635 | |
| (subclass T2VertebraBone ThoracicVertebraBone) | Anatomy.kif 639-639 | |
| (subclass T3VertebraBone ThoracicVertebraBone) | Anatomy.kif 643-643 | |
| (subclass T4VertebraBone ThoracicVertebraBone) | Anatomy.kif 647-647 | |
| (subclass T5VertebraBone ThoracicVertebraBone) | Anatomy.kif 651-651 | |
| (subclass T6VertebraBone ThoracicVertebraBone) | Anatomy.kif 655-655 | |
| (subclass T7VertebraBone ThoracicVertebraBone) | Anatomy.kif 659-659 | |
| (subclass T8VertebraBone ThoracicVertebraBone) | Anatomy.kif 663-663 | |
| (subclass T9VertebraBone ThoracicVertebraBone) | Anatomy.kif 667-667 | |
| (termFormat EnglishLanguage ThoracicVertebraBone "thoracic vertebra bone") | Anatomy.kif 632-632 |
| 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) (connected ?S ?R)))) |
Anatomy.kif 684-697 |
| 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) (connected ?S ?R)))) |
Anatomy.kif 684-697 |
|
|
|