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 10221-10223
(subclass HeartBeat BodyMotion) Mid-level-ontology.kif 10219-10219 HeartBeat is a subclass of body motion
(subclass HeartBeat Impelling) Mid-level-ontology.kif 10218-10218 HeartBeat is a subclass of impelling
(subclass HeartBeat OrganOrTissueProcess) Mid-level-ontology.kif 10220-10220 HeartBeat is a subclass of organ or tissue process

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 10232-10244
(=>
    (instance ?HB HeartBeat)
    (exists (?H)
        (and
            (patient ?HB ?H)
            (instance ?H Heart))))
Mid-level-ontology.kif 10225-10230

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


(=>
    (heartRate ?H ?T ?I)
    (exists (?C)
        (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 9913-9925
(=>
    (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 10246-10255


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners