Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  HeartBeat

Sigma KEE - HeartBeat
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 est une sous-classe de mouvement du corps
(subclass HeartBeat Impelling) Mid-level-ontology.kif 10713-10713 HeartBeat est une sous-classe de propulser
(subclass HeartBeat OrganOrTissueProcess) Mid-level-ontology.kif 10715-10715 HeartBeat est une sous-classe de organ or tissueprocess

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