ThoracicVertebraBone
|
|
appearance as argument number 1 |
(documentation ThoracicVertebraBone EnglishLanguage "thoracic vertebra bone") | Anatomy.kif 618-618 | |
(subclass ThoracicVertebraBone VertebraBone) | Anatomy.kif 616-616 | ThoracicVertebraBone 是 VertebraBone 的 subclass |
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 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) (connected ?S ?R)))) |
Anatomy.kif 669-682 |