HeartBeat |
appearance as argument number 1 |
(documentation HeartBeat EnglishLanguage "A cycle of the Heart undergoing MuscularContract and then a MuscleRelaxing to pump Blood and then fill with blood to be ready for the next contraction.") | Mid-level-ontology.kif 10715-10717 | |
(externalImage HeartBeat "https://upload.wikimedia.org/wikipedia/commons/ 1/ 12/ CG_Heart.gif") | Mid-level-ontology.kif 10718-10718 | |
(subclass HeartBeat BodyMotion) | Mid-level-ontology.kif 10713-10713 | HeartBeat è una sottoclasse di MovimentoCorporeo |
(subclass HeartBeat Impelling) | Mid-level-ontology.kif 10712-10712 | HeartBeat è una sottoclasse di Spinta |
(subclass HeartBeat OrganOrTissueProcess) | Mid-level-ontology.kif 10714-10714 | HeartBeat è una sottoclasse di ProcessoOrganicoOTessutale |
appearance as argument number 2 |
(termFormat EnglishLanguage HeartBeat "heart beat") | domainEnglishFormat.kif 64973-64973 |
antecedent |
(=> (and (instance ?HB HeartBeat) (patient ?HB ?H) (instance ?H Heart)) (exists (?MC ?MR) (and (instance ?MC MuscularContraction) (patient ?MC ?H) (instance ?MR MuscleRelaxing) (patient ?MR ?H) (subProcess ?MC ?HB) (subProcess ?MR ?HB)))) |
Mid-level-ontology.kif 10727-10739 |
|
(=> (instance ?HB HeartBeat) (exists (?H) (and (patient ?HB ?H) (instance ?H Heart)))) |
Mid-level-ontology.kif 10720-10725 |
consequent |
statement |
(subclass HeartPalpitation (ImpairmentFn HeartBeat)) |
Medicine.kif 4325-4325 | HeartPalpitation è una sottoclasse di ImpairmentFn HeartBeat |