Electrocardiography - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Electrocardiography EnglishLanguage "Electrocardiography is the process of producing a graph of voltage versus time of the electrical activity of the Heart using electrodes placed on the Skin. These electrodes detect the small electrical changes that are a consequence of cardiac muscle depolarization followed by repolarization during each cardiac cycle (heartbeat). Changes in the normal ECG pattern occur in numerous cardiac abnormalities, including cardiac rhythm disturbances (such as atrial fibrillation and ventricular tachycardia), inadequate coronary artery blood flow (such as myocardial ischemia and myocardial infarction), and electrolyte disturbances (such as hypokalemia and hyperkalemia). In a conventional 12-lead ECG, ten electrodes are placed on the patient's limbs and on the surface of the chest. The overall magnitude of the heart's electrical potential is then measured from twelve different angles ('leads') and is recorded over a period of time (usually ten seconds). In this way, the overall magnitude and direction of the heart's electrical depolarization is captured at each moment throughout the cardiac cycle.[from Wikipedia].")	Medicine.kif 3414-3432
(subclass Electrocardiography DiagnosticProcess)	Medicine.kif 3413-3413	Electrocardiography is a subclass of diagnostic process

appearance as argument number 2

(termFormat EnglishLanguage Electrocardiography "ECG")	Medicine.kif 3434-3434
(termFormat EnglishLanguage Electrocardiography "EKG")	Medicine.kif 3433-3433
(termFormat EnglishLanguage Electrocardiography "electrocardiography")	Medicine.kif 3435-3435

antecedent

(=>
    (and
        (instance ?E Electrocardiography)
        (patient ?E ?H)
        (agent ?E ?D)
        (attribute ?D MedicalDoctor))
    (hasPurpose ?E
        (knows ?D
            (exists (?T)
                (truth
                    (attribute ?H
                        (ImpairedBodyPartFn Heart)) ?T)))))

Medicine.kif 3437-3448

consequent

(=>
    (instance ?E Electrocardiogram)
    (exists (?EP)
        (and
            (instance ?EP Electrocardiography)
            (result ?EP ?E))))

Medicine.kif 3455-3460