Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - systolicBloodPressure
systolicBloodPressure

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 11762-11766
(domain systolicBloodPressure 1 Mammal) Mid-level-ontology.kif 11759-11759 systolicBloodPressure 的 1 数量 是 哺乳动物 的 instance
(domain systolicBloodPressure 2 PhysicalQuantity) Mid-level-ontology.kif 11760-11760 systolicBloodPressure 的 2 数量 是 物理量 的 instance
(instance systolicBloodPressure BinaryPredicate) Mid-level-ontology.kif 11758-11758 systolicBloodPressure 是 二元谓语 的 instance

appearance as argument number 2
-------------------------


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

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 6523-6547
(=>
    (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 11800-11810
(=>
    (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 11782-11792

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 6523-6547


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