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 10342-10346
(domain systolicBloodPressure 1 Mammal)	Mid-level-ontology.kif 10339-10339	The number 1 argument of systolic blood pressure is an instance of mammal
(domain systolicBloodPressure 2 PhysicalQuantity)	Mid-level-ontology.kif 10340-10340	The number 2 argument of systolic blood pressure is an instance of physical quantity
(instance systolicBloodPressure BinaryPredicate)	Mid-level-ontology.kif 10338-10338	systolic blood pressure is an instance of binary predicate

appearance as argument number 2

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

antecedent

(=>
    (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 10362-10372