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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HeartBeat
HeartBeat(heart beat)

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 12065-12067
(externalImage HeartBeat "https://upload.wikimedia.org/wikipedia/commons/ 1/ 12/ CG_Heart.gif") Mid-level-ontology.kif 12068-12068
(subclass HeartBeat BodyMotion) Mid-level-ontology.kif 12063-12063 Heart beat is a subclass of body motion
(subclass HeartBeat Impelling) Mid-level-ontology.kif 12062-12062 Heart beat is a subclass of impelling
(subclass HeartBeat OrganOrTissueProcess) Mid-level-ontology.kif 12064-12064 Heart beat is a subclass of organ or tissue process

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage HeartBeat "heart beat") domainEnglishFormat.kif 64996-64996

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 12077-12089
(=>
    (instance ?HB HeartBeat)
    (exists (?H)
        (and
            (patient ?HB ?H)
            (instance ?H Heart))))		 Mid-level-ontology.kif 12070-12075

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 11692-11704
(=>
    (instance ?CPR CPR)
    (hasPurpose ?CPR
        (exists (?O ?HB)
            (and
                (instance ?O Human)
                (instance ?HB HeartBeat)
                (located ?HB ?O)
                (causes ?CPR ?HB)))))		 Medicine.kif 589-597
(=>
    (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 12091-12100