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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 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 and BodyMotion
(subclass HeartBeat Impelling) Mid-level-ontology.kif 10712-10712 子類 HeartBeat and Impelling
(subclass HeartBeat OrganOrTissueProcess) Mid-level-ontology.kif 10714-10714 子類 HeartBeat and OrganOrTissueProcess

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
-------------------------


(=>
    (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 10344-10356
(=>
    (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 10741-10750