systolicBloodPressure - Sigma Knowledge base Browser

appearance as argument number 1

(documentation systolicBloodPressure EnglishLanguage "The systole is the part of the cardiac cycle during which some chambers of the heart muscle contract after refilling with blood. Systolic pressure is the highest pressure in the arteries during this period. [from Wikipedia].")	Mid-level-ontology.kif 10649-10653
(domain systolicBloodPressure 1 Mammal)	Mid-level-ontology.kif 10646-10646
(domain systolicBloodPressure 2 PhysicalQuantity)	Mid-level-ontology.kif 10647-10647
(instance systolicBloodPressure BinaryPredicate)	Mid-level-ontology.kif 10645-10645

appearance as argument number 2

(format EnglishLanguage systolicBloodPressure "the systolic blood pressure of %1 is %2")	Mid-level-ontology.kif 10654-10654
(termFormat EnglishLanguage systolicBloodPressure "systolic blood pressure")	Mid-level-ontology.kif 10655-10655

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 6505-6529
(=> (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 10687-10697
(=> (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 10669-10679

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 6505-6529

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: