Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   ThoracicVertebraBone
|
|
|
| appearance as argument number 1 |
|
|
| (subclass ThoracicVertebraBone VertebraBone) | Anatomy.kif 620-620 | Thoracic vertebra bone is a subclass of vertebra bone |
| (documentation ThoracicVertebraBone EnglishLanguage "thoracic vertebra bone") | Anatomy.kif 622-622 | 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 673-686 | If X is an instance of thoracic vertebra bone, X is a part of Y, Y is an instance of human, and disease or syndrome is not an attribute of Y, then there exists Z such that Z is an instance of thoracic vertebra bone, equal Z, X, Z is a part of Y, and Z is connected to X |
| 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 673-686 | If X is an instance of thoracic vertebra bone, X is a part of Y, Y is an instance of human, and disease or syndrome is not an attribute of Y, then there exists Z such that Z is an instance of thoracic vertebra bone, equal Z, X, Z is a part of Y, and Z is connected to X |
|