Crib
|
|
appearance as argument number 1 |
(documentation CervicalVertebraBone EnglishLanguage "cervical vertebra bone") | Anatomy.kif 526-526 | |
(subclass CervicalVertebraBone VertebraBone) | Anatomy.kif 524-524 | CervicalVertebraBone ist eine teilkategorie von VertebraBone |
appearance as argument number 2 |
antecedent |
(=> (and (instance ?R CervicalVertebraBone) (part ?R ?H) (instance ?H Human) (not (attribute ?H DiseaseOrSyndrome))) (exists (?S) (and (instance ?S CervicalVertebraBone) (not (equal ?S ?R)) (part ?S ?H) (connectedBodyPart ?S ?R)))) |
Anatomy.kif 561-574 |
|
consequent |
(=> (and (instance ?R CervicalVertebraBone) (part ?R ?H) (instance ?H Human) (not (attribute ?H DiseaseOrSyndrome))) (exists (?S) (and (instance ?S CervicalVertebraBone) (not (equal ?S ?R)) (part ?S ?H) (connectedBodyPart ?S ?R)))) |
Anatomy.kif 561-574 |
|