Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| breathingRate |
| appearance as argument number 1 |
|
| (instance breathingRate TernaryPredicate) | Mid-level-ontology.kif 11828-11828 | breathing rate is an instance of ternary predicate |
| (domain breathingRate 1 Lung) | Mid-level-ontology.kif 11830-11830 | The number 1 argument of breathing rate is an instance of lung |
| (domain breathingRate 2 TimeInterval) | Mid-level-ontology.kif 11831-11831 | The number 2 argument of breathing rate is an instance of timeframe |
| (domain breathingRate 3 Integer) | Mid-level-ontology.kif 11832-11832 | The number 3 argument of breathing rate is an instance of integer |
| (documentation breathingRate EnglishLanguage "The number of times the Lungs of a Mammal fill and empty in a given period. The normal rate for adults is 12 to 16 breaths per minute.") | Mid-level-ontology.kif 11833-11835 | The number 3 argument of breathing rate is an instance of integer |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage breathingRate "breathing rate") | Mid-level-ontology.kif 11829-11829 | |
| (format EnglishLanguage breathingRate "%1 breathes at a rate of %3 breaths per %2") | Mid-level-ontology.kif 11836-11837 |
| antecedent |
|
|
| (=> (breathingRate ?H ?T ?I) (exists (?C ?M) (and (instance ?C CollectionOfProcesses) (memberType ?C Breath) (memberCount ?C ?I) (=> (member ?M ?C) (and (patient ?M ?H) (during (WhenFn ?M) ?T)))))) |
Mid-level-ontology.kif 11839-11851 | If X breathes at a rate of Y breaths per Z, then there exist W, V such that W is an instance of collection, breath is a member type of W, Y is a member count of W, V is a member of WX is a patient of V, and the time of existence of V takes place during Z |
| (=> (and (breathingRate ?H ?T ?R) (instance ?T Minute) (not (and (instance ?R RecreationOrExercise) (agent ?R ?H) (during ?T (WhenFn ?R)))) (holdsDuring ?T (attribute ?H HumanAdult)) (or (greaterThan ?R 16) (lessThan ?R 12))) (holdsDuring ?T (not (attribute ?H Healthy)))) |
Medicine.kif 357-374 | If X breathes at a rate of Y breaths per Z, Z is an instance of minute, At least one of the following holds: (1) ~{ Y is an instance of recreation or exercise } (2) ~{ X is an agent of Y } (3) ~{ Z takes place during the time of existence of Y }, human adult is an attribute of X holds during Z, and Y is greater than 16 or Y is less than 12, then healthy is not an attribute of X holds during Z |
| (=> (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 6552-6576 | If All of the following hold: (1) X is an instance of checking vitals (2) Y is an agent of X (3) Z is a patient of X (4) W is an instance of heart (5) W is a part of Z (6) V is an instance of lung (7) V is a part of Z (8) the systolic blood pressure of Z is U and the diastolic blood pressure of Z is T and the measure of Z is S fahrenheit degree(s) holds during the time of existence of X (9) W beats at a rate of R beats per the time of existence of X (10) V breathes at a rate of Q breaths per the time of existence of X, then Y knows the systolic blood pressure of Z is U and the diastolic blood pressure of Z is T and the measure of Z is S fahrenheit degree(s) holds during the time of existence of X and W beats at a rate of R beats per the time of existence of X and V breathes at a rate of Q breaths per the time of existence of X |
| consequent |
|
|
| (=> (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 (instance ?MB MeasuringBreathing) (agent ?MB ?A) (instance ?L Lung) (part ?L ?P) (instance ?T TimeInterval) (during ?T (WhenFn ?MB)) (duration ?T MinuteDuration) (patient ?MB ?P)) (holdsDuring (ImmediateFutureFn (WhenFn ?MB)) (exists (?BR) (knows ?A (breathingRate ?L ?T ?BR))))) |
Medicine.kif 442-458 | If All of the following hold: (1) X is an instance of measuring breathing (2) Y is an agent of X (3) Z is an instance of lung (4) Z is a part of W (5) V is an instance of timeframe (6) V takes place during the time of existence of X (7) duration of V is minute duration (8) W is a patient of X, then there exists U such that Y knows Z breathes at a rate of U breaths per V holds during immediately after the time of existence of X |
| (=> (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 6552-6576 | If All of the following hold: (1) X is an instance of checking vitals (2) Y is an agent of X (3) Z is a patient of X (4) W is an instance of heart (5) W is a part of Z (6) V is an instance of lung (7) V is a part of Z (8) the systolic blood pressure of Z is U and the diastolic blood pressure of Z is T and the measure of Z is S fahrenheit degree(s) holds during the time of existence of X (9) W beats at a rate of R beats per the time of existence of X (10) V breathes at a rate of Q breaths per the time of existence of X, then Y knows the systolic blood pressure of Z is U and the diastolic blood pressure of Z is T and the measure of Z is S fahrenheit degree(s) holds during the time of existence of X and W beats at a rate of R beats per the time of existence of X and V breathes at a rate of Q breaths per the time of existence of X |
|