restingBreathingRate - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - restingBreathingRate

restingBreathingRate

appearance as argument number 1

(documentation restingBreathingRate EnglishLanguage "The breathing rate at rest of a human, in beats per minute. ")	Medicine.kif 324-325
(domain restingBreathingRate 1 Mammal)	Medicine.kif 322-322	The number 1 argument of resting breathing rate is an instance of mammal
(domain restingBreathingRate 2 Integer)	Medicine.kif 323-323	The number 2 argument of resting breathing rate is an instance of integer
(instance restingBreathingRate BinaryPredicate)	Medicine.kif 321-321	resting breathing rate is an instance of binary predicate

appearance as argument number 2

(format EnglishLanguage restingBreathingRate "the resting breathing rate of %1 is %2")	Medicine.kif 326-326
(termFormat EnglishLanguage restingBreathingRate "resting breathing rate")	Medicine.kif 327-327

antecedent

(=> (and (attribute ?H Healthy) (restingBreathingRate ?H ?R)) (and (greaterThanOrEqualTo ?R 12) (greaterThanOrEqualTo 16 ?R)))	Medicine.kif 347-353	If healthy is an attribute of a mammal and the resting breathing rate of the mammal is an integer, then the integer is greater than or equal to 12 and 16 is greater than or equal to the integer
(=> (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