Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Amputating

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 Amputating移除subclass

appearance as argument number 2

(termFormat EnglishLanguage Amputating "amputating") Medicine.kif 6254-6254
(termFormat EnglishLanguage Amputating "amputation") Medicine.kif 6255-6255


        (instance ?A Amputating)
        (patient ?A ?H)
        (instance ?L Limb))
    (exists (?P ?B)
            (part ?P ?L)
            (part ?B ?P)
            (instance ?B Bone)
                    (WhenFn ?A))
                (part ?P ?H))
                    (WhenFn ?A))
                    (part ?P ?H))))))
Medicine.kif 6257-6275

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners