breathingRate - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - breathingRate

breathingRate

appearance as argument number 1

(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 11729-11731
(domain breathingRate 1 Lung)	Mid-level-ontology.kif 11726-11726	The number 1 argument of breathing rate is an instance of lung
(domain breathingRate 2 TimeInterval)	Mid-level-ontology.kif 11727-11727	The number 2 argument of breathing rate is an instance of time interval
(domain breathingRate 3 Integer)	Mid-level-ontology.kif 11728-11728	The number 3 argument of breathing rate is an instance of integer
(instance breathingRate TernaryPredicate)	Mid-level-ontology.kif 11724-11724	breathing rate is an instance of ternary predicate

appearance as argument number 2

(format EnglishLanguage breathingRate "%1 breathes at a rate of %3 breaths per %2")	Mid-level-ontology.kif 11732-11733
(termFormat EnglishLanguage breathingRate "breathing rate")	Mid-level-ontology.kif 11725-11725

antecedent

(=> (and (breathingRate ?H ?T ?R) (instance ?T Minute) (not (exists (?R) (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 355-373	If an agent breathes at a rate of an integer breaths per a time interval and the time interval is an instance of minute and there doesn't exist the integer such that the integer is an instance of recreation or exercise and the agent is an agent of the integer and the time interval takes place during the time of existence of the integer and human adult is an attribute of the agent holds during the time interval and the integer is greater than 16 or the integer is less than 12, then healthy is not an attribute of the agent holds during the time interval
(=> (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 6523-6547	If a process is an instance of checking vitals and a cognitive agent is an agent of the process and an object is a patient of the process and a heart is an instance of heart and the heart is a part of the object and a lung is an instance of lung and the lung is a part of the object and the systolic blood pressure of the object is an entity and the diastolic blood pressure of the object is another entity and the measure of the object is a third entity fahrenheit degree(s) holds during the time of existence of the process and the heart beats at a rate of an integer beats per the time of existence of the process and the lung breathes at a rate of another integer breaths per the time of existence of the process, then the cognitive agent knows the systolic blood pressure of the object is the entity and the diastolic blood pressure of the object is the other entity and the measure of the object is the third entity fahrenheit degree(s) holds during the time of existence of the process and the heart beats at a rate of the integer beats per the time of existence of the process and the lung breathes at a rate of the other integer breaths per the time of existence of the process
(=> (breathingRate ?H ?T ?I) (exists (?C ?M) (and (instance ?C Collection) (memberType ?C Breath) (memberCount ?C ?I) (=> (member ?M ?C) (and (patient ?M ?H) (during (WhenFn ?M) ?T))))))	Mid-level-ontology.kif 11735-11747	If a lung breathes at a rate of an integer breaths per a time interval, then there exist a collection and a process such that the collection is an instance of collection and breath is a member type of the collection and the integer is a member count of the collection and if the process is a member of the collection, then the lung is a patient of the process and the time of existence of the process takes place during the time interval

consequent

(=> (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 6523-6547	If a process is an instance of checking vitals and a cognitive agent is an agent of the process and an object is a patient of the process and a heart is an instance of heart and the heart is a part of the object and a lung is an instance of lung and the lung is a part of the object and the systolic blood pressure of the object is an entity and the diastolic blood pressure of the object is another entity and the measure of the object is a third entity fahrenheit degree(s) holds during the time of existence of the process and the heart beats at a rate of an integer beats per the time of existence of the process and the lung breathes at a rate of another integer breaths per the time of existence of the process, then the cognitive agent knows the systolic blood pressure of the object is the entity and the diastolic blood pressure of the object is the other entity and the measure of the object is the third entity fahrenheit degree(s) holds during the time of existence of the process and the heart beats at a rate of the integer beats per the time of existence of the process and the lung breathes at a rate of the other integer breaths per the time of existence of the process
(=> (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 455-471	If a process is an instance of measuring breathing and an agent is an agent of the process and an object is an instance of lung and the object is a part of another object and a time interval is an instance of time interval and the time interval takes place during the time of existence of the process and duration of the time interval is minute duration and the other object is a patient of the process, then there exists an entity such that the agent knows the object breathes at a rate of the entity breaths per the time interval holds during immediately after the time of existence of the process
(=> (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 330-345	If the resting breathing rate of a mammal is an integer and an object is an instance of lung and the object is a part of the mammal, then there exists a time interval such that there doesn't exist the integerEC such that the integerEC is an instance of recreation or exercise and the mammal is an agent of the integerEC and the time interval takes place during the time of existence of the integerEC and the time interval is an instance of minute and the mammal breathes at a rate of the integer breaths per the time interval

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners