(=>
(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 |
