diastolicBloodPressure - Sigma Knowledge base Browser

appearance as argument number 1

(documentation diastolicBloodPressure EnglishLanguage "The systole is the part of the cardiac cycle during which some chambers of the heart muscle relax after refilling with blood. Diastolic pressure is the lowest pressure in the arteries during this period. [from Wikipedia].")	Mid-level-ontology.kif 10694-10698
(domain diastolicBloodPressure 1 Mammal)	Mid-level-ontology.kif 10691-10691
(domain diastolicBloodPressure 2 PhysicalQuantity)	Mid-level-ontology.kif 10692-10692
(instance diastolicBloodPressure BinaryPredicate)	Mid-level-ontology.kif 10690-10690

appearance as argument number 2

(format EnglishLanguage diastolicBloodPressure "the diastolic blood pressure of %1 is %2")	Mid-level-ontology.kif 10699-10699
(termFormat EnglishLanguage diastolicBloodPressure "diastolic blood pressure")	Mid-level-ontology.kif 10700-10700

antecedent

(=> (and (instance ?C CheckingVitals) (agent ?C ?A) (patient ?C ?P) (instance ?H Heart) (part ?H ?P) (instance ?L Lung) (part ?L ?P) (holdsDuring (WhenFn ?C) (and (systolicBloodPressure ?P ?SYS) (diastolicBloodPressure ?P ?DIA) (measure ?P (MeasureFn ?T FahrenheitDegree)))) (heartRate ?H (WhenFn ?C) ?I) (breathingRate ?L (WhenFn ?C) ?R)) (knows ?A (and (holdsDuring (WhenFn ?C) (and (systolicBloodPressure ?P ?SYS) (diastolicBloodPressure ?P ?DIA) (measure ?P (MeasureFn ?T FahrenheitDegree)))) (heartRate ?H (WhenFn ?C) ?I) (breathingRate ?L (WhenFn ?C) ?R))))	Medicine.kif 6489-6513
(=> (holdsDuring ?T (and (systolicBloodPressure ?H (MeasureFn ?NS MmMercury)) (diastolicBloodPressure ?H (MeasureFn ?ND MmMercury)) (greaterThan 90.0 ?NS) (greaterThan 60.0 ?ND))) (holdsDuring ?T (attribute ?H LowBloodPressure)))	Mid-level-ontology.kif 10720-10730
(=> (holdsDuring ?T (and (systolicBloodPressure ?H (MeasureFn ?NS MmMercury)) (diastolicBloodPressure ?H (MeasureFn ?ND MmMercury)) (greaterThan ?NS 140.0) (greaterThan ?ND 90.0))) (holdsDuring ?T (attribute ?H HighBloodPressure)))	Mid-level-ontology.kif 10702-10712

consequent

(=>
    (and
        (instance ?C CheckingVitals)
        (agent ?C ?A)
        (patient ?C ?P)
        (instance ?H Heart)
        (part ?H ?P)
        (instance ?L Lung)
        (part ?L ?P)
        (holdsDuring
            (WhenFn ?C)
            (and
                (systolicBloodPressure ?P ?SYS)
                (diastolicBloodPressure ?P ?DIA)
                (measure ?P
                    (MeasureFn ?T FahrenheitDegree))))
        (heartRate ?H
            (WhenFn ?C) ?I)
        (breathingRate ?L
            (WhenFn ?C) ?R))
    (knows ?A
        (and
            (holdsDuring
                (WhenFn ?C)
                (and
                    (systolicBloodPressure ?P ?SYS)
                    (diastolicBloodPressure ?P ?DIA)
                    (measure ?P
                        (MeasureFn ?T FahrenheitDegree))))
            (heartRate ?H
                (WhenFn ?C) ?I)
            (breathingRate ?L
                (WhenFn ?C) ?R))))

Medicine.kif 6489-6513

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

KB Term:			Term intersection

English Word: