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


KB Term:  Term intersection
English Word: 

Sigma KEE - HeartBeat
HeartBeat(heart beat)

appearance as argument number 1
-------------------------


(subclass HeartBeat Impelling) Mid-level-ontology.kif 12166-12166 Heart beat is a subclass of impelling
(subclass HeartBeat BodyMotion) Mid-level-ontology.kif 12167-12167 Heart beat is a subclass of body motion
(subclass HeartBeat OrganOrTissueProcess) Mid-level-ontology.kif 12168-12168 Heart beat is a subclass of organ or tissue process
(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 12169-12171 Heart beat is a subclass of organ or tissue process
(externalImage HeartBeat "https://upload.wikimedia.org/wikipedia/commons/ 1/ 12/ CG_Heart.gif") Mid-level-ontology.kif 12172-12172 Heart beat is a subclass of organ or tissue process

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


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

antecedent
-------------------------


(=>
    (instance ?HB HeartBeat)
    (exists (?H)
        (and
            (patient ?HB ?H)
            (instance ?H Heart))))		 Mid-level-ontology.kif 12174-12179 If X is an instance of heart beat, then there exists Y such that Y is a patient of X and Y is an instance of heart
(=>
    (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 12181-12193 If X is an instance of heart beat, Y is a patient of X, and Y is an instance of heart, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of muscular contraction (3) Y is a patient of Z (4) W is an instance of muscle relaxing (5) Y is a patient of W (6) Z is a subprocess of X (7) W is a subprocess of X

consequent
-------------------------


(=>
    (heartRate ?H ?T ?I)
    (exists (?C ?M)
        (and
            (instance ?C CollectionOfProcesses)
            (memberType ?C HeartBeat)
            (memberCount ?C ?I)
            (=>
                (member ?M ?C)
                (and
                    (patient ?M ?H)
                    (during
                        (WhenFn ?M) ?T))))))		 Mid-level-ontology.kif 11796-11808 If X beats at a rate of Y beats per Z, then there exist W, V such that W is an instance of collection, heart beat is a member type of W, Y is a member count of W, V is a member of WX is a patient of V, and the time of existence of V takes place during Z
(=>
    (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 12195-12204 If X is an instance of heart, then X has the purpose there exist Y, Z, W such that Z is an instance of heart beat, Y is an instance of liquid motion, W is an instance of blood, W moves during Y, and Z causes Y
(=>
    (instance ?CPR CPR)
    (hasPurpose ?CPR
        (exists (?O ?HB)
            (and
                (instance ?O Human)
                (instance ?HB HeartBeat)
                (located ?HB ?O)
                (causes ?CPR ?HB)))))		 Medicine.kif 576-584 If X is an instance of cardio pulmonary resuscitation, then X has the purpose there exist Y, Z such that Y is an instance of human, Z is an instance of heart beat, Z is located at Y, and X causes Z