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 336-337
(domain restingBreathingRate 1 Mammal)	Medicine.kif 334-334	The number 1 argument of resting breathing rate is an instance of mammal
(domain restingBreathingRate 2 Integer)	Medicine.kif 335-335	The number 2 argument of resting breathing rate is an instance of integer
(instance restingBreathingRate BinaryPredicate)	Medicine.kif 333-333	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 338-338
(termFormat EnglishLanguage restingBreathingRate "resting breathing rate")	Medicine.kif 339-339

antecedent

(=> (and (attribute ?H Healthy) (restingBreathingRate ?H ?R)) (and (greaterThanOrEqualTo ?R 12) (greaterThanOrEqualTo 16 ?R)))	Medicine.kif 359-365	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 342-357	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