  breathingRate
|
|
Sigma KEE - breathingRate
|
appearance as argument number 1
|
|
|
|
appearance as argument number 2
|
|
|
|
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 |
|
