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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - heartRate
heartRate

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


(documentation heartRate EnglishLanguage "The number of times the Heart of a Mammal beats in a given period. A normal rate for a Human at rest is 60 beats per minute although this can vary significantly with age, fitness level and health status.") Mid-level-ontology.kif 10556-10559
(domain heartRate 1 Heart) Mid-level-ontology.kif 10553-10553
(domain heartRate 2 TimeInterval) Mid-level-ontology.kif 10554-10554
(domain heartRate 3 Integer) Mid-level-ontology.kif 10555-10555
(instance heartRate TernaryPredicate) Mid-level-ontology.kif 10552-10552

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


(format EnglishLanguage heartRate "%1 beats at a rate of %3 beats per %2") Mid-level-ontology.kif 10560-10561
(termFormat EnglishLanguage heartRate "heart rate") domainEnglishFormat.kif 65889-65889

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


(=>
    (and
        (instance ?C CheckingVitals)
        (agent ?C ?A)
        (patient ?C ?P)
        (instance ?H Heart)
        (part ?H ?P)
        (instance ?L Lung)
        (part ?L ?P)
        (holdsDuring
            (WhenFn ?C)
            (and
                (systolicBloodPressure ?P ?SYS)
                (diastolicBloodPressure ?P ?DIA)
                (measure ?P
                    (MeasureFn ?T FahrenheitDegree))))
        (heartRate ?H
            (WhenFn ?C) ?I)
        (breathingRate ?L
            (WhenFn ?C) ?R))
    (knows ?A
        (and
            (holdsDuring
                (WhenFn ?C)
                (and
                    (systolicBloodPressure ?P ?SYS)
                    (diastolicBloodPressure ?P ?DIA)
                    (measure ?P
                        (MeasureFn ?T FahrenheitDegree))))
            (heartRate ?H
                (WhenFn ?C) ?I)
            (breathingRate ?L
                (WhenFn ?C) ?R))))		 Medicine.kif 6505-6529
(=>
    (and
        (instance ?T Bradycardia)
        (experiencer ?T ?P)
        (instance ?H Heart)
        (part ?H ?P)
        (instance ?I Minute)
        (heartRate ?H ?I ?N))
    (greaterThan 50 ?N))		 Medicine.kif 2847-2855
(=>
    (and
        (instance ?T Tachycardia)
        (experiencer ?T ?P)
        (instance ?H Heart)
        (part ?H ?P)
        (instance ?I Minute)
        (heartRate ?H ?I ?N))
    (greaterThan ?N 100))		 Medicine.kif 2819-2827
(=>
    (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 10563-10575

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


(=>
    (and
        (instance ?C CheckingVitals)
        (agent ?C ?A)
        (patient ?C ?P)
        (instance ?H Heart)
        (part ?H ?P)
        (instance ?L Lung)
        (part ?L ?P)
        (holdsDuring
            (WhenFn ?C)
            (and
                (systolicBloodPressure ?P ?SYS)
                (diastolicBloodPressure ?P ?DIA)
                (measure ?P
                    (MeasureFn ?T FahrenheitDegree))))
        (heartRate ?H
            (WhenFn ?C) ?I)
        (breathingRate ?L
            (WhenFn ?C) ?R))
    (knows ?A
        (and
            (holdsDuring
                (WhenFn ?C)
                (and
                    (systolicBloodPressure ?P ?SYS)
                    (diastolicBloodPressure ?P ?DIA)
                    (measure ?P
                        (MeasureFn ?T FahrenheitDegree))))
            (heartRate ?H
                (WhenFn ?C) ?I)
            (breathingRate ?L
                (WhenFn ?C) ?R))))		 Medicine.kif 6505-6529
(=>
    (and
        (restingHeartRate ?H ?R)
        (instance ?HEART Heart)
        (part ?HEART ?H))
    (exists (?T)
        (and
            (not
                (exists (?REC)
                    (and
                        (instance ?REC RecreationOrExercise)
                        (agent ?REC ?H)
                        (during ?T
                            (WhenFn ?REC)))))
            (instance ?T Minute)
            (heartRate ?H ?T ?R))))		 Medicine.kif 122-136


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



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