(=>
(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 123-137 |
If the resting heart rate of X is Y, Z is an instance of heart, and Z is a part of X, then there exists W such that there doesn't exist V such that V is an instance of recreation or exercise, X is an agent of V, W takes place during the time of existence of V, W is an instance of minute, and X beats at a rate of Y beats per W |
