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 10716-10718 | |
(externalImage HeartBeat "https://upload.wikimedia.org/wikipedia/commons/ 1/ 12/ CG_Heart.gif") | Mid-level-ontology.kif 10719-10719 | |
(subclass HeartBeat BodyMotion) | Mid-level-ontology.kif 10714-10714 | HeartBeat e' uma sub-classe de Movimento do Corpo |
(subclass HeartBeat Impelling) | Mid-level-ontology.kif 10713-10713 | HeartBeat e' uma sub-classe de Propulsionar |
(subclass HeartBeat OrganOrTissueProcess) | Mid-level-ontology.kif 10715-10715 | HeartBeat e' uma sub-classe de Processo de Orgao or Tecido |
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 10728-10740 |
|
(=> (instance ?HB HeartBeat) (exists (?H) (and (patient ?HB ?H) (instance ?H Heart)))) |
Mid-level-ontology.kif 10721-10726 |
consequent |
(=> (heartRate ?H ?T ?I) (exists (?C ?M) (and (instance ?C Collection) (memberType ?C HeartBeat) (memberCount ?C ?I) (=> (member ?M ?C) (and (patient ?M ?H) (during (WhenFn ?M) ?T)))))) |
Mid-level-ontology.kif 10345-10357 |
|
(=> (instance ?CPR CPR) (hasPurpose ?CPR (exists (?O ?HB) (and (instance ?O Human) (instance ?HB HeartBeat) (located ?HB ?O) (causes ?CPR ?HB))))) |
Medicine.kif 599-607 | |
(=> (instance ?H Heart) (hasPurpose ?H (exists (?T ?HB ?B) (and (instance ?HB HeartBeat) (instance ?T LiquidMotion) (instance ?B Blood) (moves ?T ?B) (causes ?HB ?T))))) |
Mid-level-ontology.kif 10742-10751 |
statement |
(subclass HeartPalpitation (ImpairmentFn HeartBeat)) |
Medicine.kif 4325-4325 | HeartPalpitation e' uma sub-classe de ImpairmentFn HeartBeat |