Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| restingBreathingRate |
| appearance as argument number 1 |
|
| (instance restingBreathingRate BinaryPredicate) | Medicine.kif 323-323 | resting breathing rate is an instance of binary predicate |
| (domain restingBreathingRate 1 Mammal) | Medicine.kif 324-324 | The number 1 argument of resting breathing rate is an instance of mammal |
| (domain restingBreathingRate 2 Integer) | Medicine.kif 325-325 | The number 2 argument of resting breathing rate is an instance of integer |
| (documentation restingBreathingRate EnglishLanguage "The breathing rate at rest of a human, in beats per minute. ") | Medicine.kif 326-327 | The number 2 argument of resting breathing rate is an instance of integer |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage restingBreathingRate "the resting breathing rate of %1 is %2") | Medicine.kif 328-328 | |
| (termFormat EnglishLanguage restingBreathingRate "resting breathing rate") | Medicine.kif 329-329 |
| antecedent |
|
|
| (=> (and (restingBreathingRate ?H ?R) (instance ?L Lung) (part ?L ?H)) (exists (?T) (and (not (exists (?REC) (and (instance ?REC RecreationOrExercise) (agent ?REC ?H) (during ?T (WhenFn ?REC))))) (instance ?T Minute) (breathingRate ?H ?T ?R)))) |
Medicine.kif 332-347 | If the resting breathing rate of X is Y, Z is an instance of lung, 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 breathes at a rate of Y breaths per W |
| (=> (and (attribute ?H Healthy) (restingBreathingRate ?H ?R)) (and (greaterThanOrEqualTo ?R 12) (greaterThanOrEqualTo 16 ?R))) |
Medicine.kif 349-355 | If healthy is an attribute of X and the resting breathing rate of X is Y, then Y is greater than or equal to 12 and 16 is greater than or equal to Y |
|