Electrocardiography |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3426-3444 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3425-3425 | Electrocardiography est une sous-classe de processus de diagnostique |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3446-3446 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3445-3445 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3447-3447 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3449-3460 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3467-3472 |
|