MeasuringBreathing - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - MeasuringBreathing

MeasuringBreathing(measuring breathing)

appearance as argument number 1

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

appearance as argument number 2

(termFormat EnglishLanguage MeasuringBreathing "measuring breathing")

Medicine.kif 453-453

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

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

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