| appearance as argument number 1 |
|
| (documentation Electrocardiogram EnglishLanguage "The result of Electrocardiography - a graph of activity of the Heart.") | Medicine.kif 3464-3465 | |
| (subclass Electrocardiogram FactualText) | Medicine.kif 3463-3463 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Electrocardiogram "electrocardiogram") | Medicine.kif 3466-3466 |
| 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 | |
| (=> (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 | |
| (=> (instance ?E Electrocardiogram) (exists (?EP) (and (instance ?EP Electrocardiography) (result ?EP ?E)))) |
Medicine.kif 3468-3473 |
|
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