TreeView Knowledge Base Browser - LocalAnesthetizing

appearance as argument number 1

(subclass LocalAnesthetizing Anesthetizing)	Medicine.kif 975-975	Local anesthetizing is a subclass of anesthetizing
(documentation LocalAnesthetizing EnglishLanguage "Regional and local anesthesia, which blocks transmission of Nerve impulses from a specific part of the body. Depending on the situation, this may be used either on its own (in which case the individual remains fully conscious), or in combination with general anesthesia or sedation. Local anesthesia is simple infiltration by the clinician directly onto the region of interest (e.g. numbing a Tooth for dental work). Peripheral nerve blocks use drugs targeted at peripheral nerves to anesthetize an isolated part of the body, such as an entire Limb. Neuraxial blockade , mainly epidural and spinal anesthesia, can be performed in the region of the central nervous system itself, suppressing all incoming sensation from nerves supplying the area of the block. [from Wikipedia]")	Medicine.kif 976-986	Local anesthetizing is a subclass of anesthetizing

appearance as argument number 2

antecedent

(=>
    (and
        (instance ?A LocalAnesthetizing)
        (located ?A ?BP)
        (instance ?BP BodyPart)
        (part ?BP ?P)
        (patient ?A ?P))
    (holdsDuring
        (WhenFn ?A)
        (not
            (attribute ?P
                (PainFn ?BP)))))

If X is an instance of local anesthetizing, X is located at Y, Y is an instance of body part, Y is a part of Z, and Z is a patient of X, then pain in the Y is not an attribute of Z holds during the time of existence of X