Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  EKGAbnormal
|
|
|
| appearance as argument number 1 |
|
|
| (instance EKGAbnormal RelationalAttribute) | Medicine.kif 1861-1861 | Abnormal EKG is an instance of relational attribute |
| (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 1862-1863 | Abnormal EKG is an instance of relational attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage EKGAbnormal "abnormal EKG") | Medicine.kif 1864-1864 |
| 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 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 |
|