Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| restingHeartRate |
| appearance as argument number 1 |
|
| (instance restingHeartRate BinaryPredicate) | Medicine.kif 114-114 | baseline heart rate is an instance of binary predicate |
| (domain restingHeartRate 1 Mammal) | Medicine.kif 115-115 | The number 1 argument of baseline heart rate is an instance of mammal |
| (domain restingHeartRate 2 Integer) | Medicine.kif 116-116 | The number 2 argument of baseline heart rate is an instance of integer |
| (documentation restingHeartRate EnglishLanguage "The heart rate at rest of a human, in beats per minute. ") | Medicine.kif 117-118 | The number 2 argument of baseline heart rate is an instance of integer |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage restingHeartRate "the resting heart rate of %1 is %2") | Medicine.kif 119-119 | |
| (termFormat EnglishLanguage restingHeartRate "resting heart rate") | Medicine.kif 120-120 | |
| (termFormat EnglishLanguage restingHeartRate "baseline heart rate") | Medicine.kif 121-121 |
| antecedent |
|
|
| (=> (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 |
|