TreeView Knowledge Base Browser - CheckingVitals

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - CheckingVitals

CheckingVitals(checking vitals)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6498-6502
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6497-6497	Checking vitals is a subclass of diagnostic process

appearance as argument number 2

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

Medicine.kif 6503-6503

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

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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