systolicBloodPressure - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10431-10435
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10428-10428	The number 1 argument of systolic blood pressure is an instance of mammal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10429-10429	The number 2 argument of systolic blood pressure is an instance of physical quantity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10427-10427	systolic blood pressure is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10436-10436
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10437-10437

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6505-6529	If a process is an instance of checking vitals and a cognitive agent is an agent of the process and an object is a patient of the process and a heart is an instance of heart and the heart is a part of the object and a lung is an instance of lung and the lung is a part of the object and the systolic blood pressure of the object is an entity and the diastolic blood pressure of the object is another entity and the measure of the object is a third entity fahrenheit degree(s) holds during the time of existence of the process and the heart beats at a rate of an integer beats per the time of existence of the process and the lung breathes at a rate of another integer breaths per the time of existence of the process, then the cognitive agent knows the systolic blood pressure of the object is the entity and the diastolic blood pressure of the object is the other entity and the measure of the object is the third entity fahrenheit degree(s) holds during the time of existence of the process and the heart beats at a rate of the integer beats per the time of existence of the process and the lung breathes at a rate of the other integer breaths per the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10469-10479	If the systolic blood pressure of an entity is another entity mm mercury(s) and the diastolic blood pressure of the entity is a third entity mm mercury(s) and 90.0 is greater than the other entity and 60.0 is greater than the third entity holds during a time position, then hypotension is an attribute of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10451-10461	If the systolic blood pressure of an entity is another entity mm mercury(s) and the diastolic blood pressure of the entity is a third entity mm mercury(s) and the other entity is greater than 140.0 and the third entity is greater than 90.0 holds during a time position, then hypertension is an attribute of the entity holds during the time position

consequent

No TPTP formula. May not be expressible in strict first order.

Medicine.kif 6505-6529

If a process is an instance of checking vitals and a cognitive agent is an agent of the process and an object is a patient of the process and a heart is an instance of heart and the heart is a part of the object and a lung is an instance of lung and the lung is a part of the object and the systolic blood pressure of the object is an entity and the diastolic blood pressure of the object is another entity and the measure of the object is a third entity fahrenheit degree(s) holds during the time of existence of the process and the heart beats at a rate of an integer beats per the time of existence of the process and the lung breathes at a rate of another integer breaths per the time of existence of the process,
then the cognitive agent knows the systolic blood pressure of the object is the entity and the diastolic blood pressure of the object is the other entity and the measure of the object is the third entity fahrenheit degree(s) holds during the time of existence of the process and the heart beats at a rate of the integer beats per the time of existence of the process and the lung breathes at a rate of the other integer breaths per 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

KB Term:			Term intersection

English Word: