PrincipalHostFn
|
|
appearance as argument number 1 |
(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 6249-6253 | |
(subclass Amputating Removing) | Medicine.kif 6248-6248 |
appearance as argument number 2 |
(termFormat EnglishLanguage Amputating "amputating") | Medicine.kif 6254-6254 | |
(termFormat EnglishLanguage Amputating "amputation") | Medicine.kif 6255-6255 |
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 6257-6275 |