Electrocardiography - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Electrocardiography DiagnosticProcess)	Medicine.kif 3456-3456	Electrocardiography is a subclass of diagnostic process
(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 3457-3475	Electrocardiography is a subclass of diagnostic process

appearance as argument number 2

(termFormat EnglishLanguage Electrocardiography "EKG")	Medicine.kif 3476-3476
(termFormat EnglishLanguage Electrocardiography "ECG")	Medicine.kif 3477-3477
(termFormat EnglishLanguage Electrocardiography "electrocardiography")	Medicine.kif 3478-3478

antecedent

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

If X is an instance of electrocardiography, Y is a patient of X, Z is an agent of X, and medical doctor is an attribute of Z, then X has the purpose Z knows there exists W such that impaired body part fn heart is an attribute of Y

consequent

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

If X is an instance of electrocardiogram, then there exists Y such that Y is an instance of electrocardiography and X is a result of Y