EKGNormal - Sigma Knowledge base Browser

appearance as argument number 1

(documentation EKGNormal EnglishLanguage "An Attribute of an Electrocardiogram that measures activity of the Heart and shows that it is within normal parameters.")	Medicine.kif 1854-1855
(instance EKGNormal RelationalAttribute)	Medicine.kif 1853-1853	Normal EKG is an instance of relational attribute

appearance as argument number 2

(termFormat EnglishLanguage EKGNormal "normal EKG")

Medicine.kif 1856-1856

antecedent

(=>
    (and
        (instance ?EKG Electrocardiogram)
        (attribute ?EKG EKGNormal)
        (refers ?EKG ?H)
        (part ?H ?P)
        (instance ?H Heart))
    (modalAttribute
        (not
            (attribute ?P
                (ImpairedBodyPartFn Heart))) Likely))

Medicine.kif 1858-1868