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 10743-10745
(externalImage HeartBeat "https://upload.wikimedia.org/wikipedia/commons/ 1/ 12/ CG_Heart.gif") Mid-level-ontology.kif 10746-10746
(subclass HeartBeat BodyMotion) Mid-level-ontology.kif 10741-10741 HeartBeat 是 身体运动 的 subclass
(subclass HeartBeat Impelling) Mid-level-ontology.kif 10740-10740 HeartBeat 是 驱动 的 subclass
(subclass HeartBeat OrganOrTissueProcess) Mid-level-ontology.kif 10742-10742 HeartBeat 是 器官或身体组织过程 的 subclass

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


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

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 10755-10767
(=>
    (instance ?HB HeartBeat)
    (exists (?H)
        (and
            (patient ?HB ?H)
            (instance ?H Heart))))		 Mid-level-ontology.kif 10748-10753

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 10372-10384
(=>
    (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 10769-10778