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
(=>
    (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


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