MeasuringBreathing - Sigma Knowledge base Browser

appearance as argument number 2

antecedent

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

If All of the following hold: (1) X is an instance of measuring breathing (2) Y is an agent of X (3) Z is an instance of lung (4) Z is a part of W (5) V is an instance of timeframe (6) V takes place during the time of existence of X (7) duration of V is minute duration (8) W is a patient of X, then there exists U such that Y knows Z breathes at a rate of U breaths per V holds during immediately after the time of existence of X

(subclass MeasuringBreathing DiagnosticProcess)	Medicine.kif 437-437	Measuring breathing is a subclass of diagnostic process
(documentation MeasuringBreathing EnglishLanguage "The DiagnosticProcess of determining whether and how frequently someone is Breathing.")	Medicine.kif 438-439	Measuring breathing is a subclass of diagnostic process