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 1875-1884	If an object is an instance of electrocardiogram and abnormal EKG is an attribute of the object and the object includes a reference to another object and the other object is a part of a third object and the other object is an instance of heart, then the statement impaired body part fn heart is an attribute of the third object has the modal force of likely
(=>     (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	If an object is an instance of electrocardiogram and normal EKG is an attribute of the object and the object includes a reference to another object and the other object is a part of a third object and the other object is an instance of heart, then the statement impaired body part fn heart is not an attribute of the third object has the modal force of likely
(=>     (instance ?E Electrocardiogram)     (exists (?EP)         (and             (instance ?EP Electrocardiography)             (result ?EP ?E))))	Medicine.kif 3468-3473	If an entity is an instance of electrocardiogram, then there exists the entityP such that the entityP is an instance of electrocardiography and the entity is a result of the entityP

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

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners