| appearance as argument number 1 |
|
| (documentation Electrocardiogram EnglishLanguage "The result of Electrocardiography - a graph of activity of the Heart.") | Medicine.kif 3463-3464 | |
| (subclass Electrocardiogram FactualText) | Medicine.kif 3462-3462 | Electrocardiogram est une sous-classe de FactualText |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Electrocardiogram "electrocardiogram") | Medicine.kif 3465-3465 |
| 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 1882-1891 | |
| (=> (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 1865-1875 | |
| (=> (instance ?E Electrocardiogram) (exists (?EP) (and (instance ?EP Electrocardiography) (result ?EP ?E)))) |
Medicine.kif 3467-3472 |
|
|
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