| ThoracicVertebraBone(thoracic vertebra bone) | | dorsal_vertebra, thoracic_vertebra |
| appearance as argument number 1 |
|
|
| (documentation ThoracicVertebraBone EnglishLanguage "thoracic vertebra bone") | Anatomy.kif 617-617 | |
| (subclass ThoracicVertebraBone VertebraBone) | Anatomy.kif 615-615 | Thoracic vertebra bone is a subclass of vertebra bone |
| appearance as argument number 2 |
|
|
| 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 668-681 |
|
| 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 668-681 |
|
|
|
|