Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Amputating(amputation) |
| appearance as argument number 1 |
|
| (subclass Amputating Removing) | Medicine.kif 6279-6279 | Amputation is a subclass of removing |
| (documentation Amputating EnglishLanguage "Amputation is the removal of a limb by trauma, medical illness, or surgery. As a surgical measure, it is used to control pain or a disease process in the affected limb, such as malignancy or gangrene. In some cases, it is carried out on individuals as a preventive surgery for such problems. [from Wikipedia] Note that to distinguish this from a minor loss of part of a limb this must include loss of some Bone.") | Medicine.kif 6280-6284 | Amputation is a subclass of removing |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Amputating "amputating") | Medicine.kif 6285-6285 | |
| (termFormat EnglishLanguage Amputating "amputation") | Medicine.kif 6286-6286 |
| antecedent |
|
|
| (=> (and (instance ?A Amputating) (patient ?A ?H) (instance ?L Limb)) (exists (?P ?B) (and (part ?P ?L) (part ?B ?P) (instance ?B Bone) (holdsDuring (ImmediatePastFn (WhenFn ?A)) (part ?P ?H)) (holdsDuring (ImmediatePastFn (WhenFn ?A)) (not (part ?P ?H)))))) |
Medicine.kif 6288-6306 | If X is an instance of amputation, Y is a patient of X, and Z is an instance of limb, then there exist W, V such that W is a part of Z, V is a part of W, V is an instance of bone, W is a part of Y holds during immediately before the time of existence of X, and W is not a part of Y holds during immediately before the time of existence of X |
|