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 1849-1859	If X is an instance of electrocardiogram, normal EKG is an attribute of X, X includes a reference to Y, Y is a part of Z, and Y is an instance of heart, then the statement impaired body part fn heart is not an attribute of Z has the modal force of likely
(=>     (and         (instance ?EKG Electrocardiogram)         (attribute ?EKG EKGAbnormal)         (refers ?EKG ?H)         (part ?H ?P)         (instance ?H Heart))     (modalAttribute         (attribute ?P             (ImpairedBodyPartFn Heart)) Likely))	Medicine.kif 1866-1875	If X is an instance of electrocardiogram, abnormal EKG is an attribute of X, X includes a reference to Y, Y is a part of Z, and Y is an instance of heart, then the statement impaired body part fn heart is an attribute of Z has the modal force of likely
(=>     (instance ?E Electrocardiogram)     (exists (?EP)         (and             (instance ?EP Electrocardiography)             (result ?EP ?E))))	Medicine.kif 3497-3502	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

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

---

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners