EKGAbnormal(abnormal EKG) |
appearance as argument number 1 |
(documentation EKGAbnormal EnglishLanguage "An Attribute of an Electrocardiogram that measures activity of the Heart and shows that it is outside of normal parameters.") | Medicine.kif 1878-1879 | |
(instance EKGAbnormal RelationalAttribute) | Medicine.kif 1877-1877 | Abnormal EKG is an instance of relational attribute |
appearance as argument number 2 |
(termFormat EnglishLanguage EKGAbnormal "abnormal EKG") | Medicine.kif 1880-1880 |
antecedent |
(=> (and (instance ?EKG Electrocardiogram) (attribute ?EKG EKGAbnormal) (refers ?EKG ?H) (part ?H ?P) (instance ?H Heart)) (modalAttribute (attribute ?P (ImpairedBodyPartFn Heart)) Likely)) |
Medicine.kif 1882-1891 |
|