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 10338-10341 | |
(domain heartRate 1 Heart) | Mid-level-ontology.kif 10335-10335 | |
(domain heartRate 2 TimeInterval) | Mid-level-ontology.kif 10336-10336 | |
(domain heartRate 3 Integer) | Mid-level-ontology.kif 10337-10337 | |
(instance heartRate TernaryPredicate) | Mid-level-ontology.kif 10334-10334 |
appearance as argument number 2 |
(format EnglishLanguage heartRate "%1 beats at a rate of %3 beats per %2") | Mid-level-ontology.kif 10342-10343 | |
(termFormat EnglishLanguage heartRate "heart rate") | domainEnglishFormat.kif 65849-65849 |
antecedent |
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 |