TreeView Knowledge Base Browser - heartRate

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - heartRate

heartRate

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10338-10341
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10335-10335	The number 1 argument of heart rate is an instance of heart
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10336-10336	The number 2 argument of heart rate is an instance of time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10337-10337	The number 3 argument of heart rate is an instance of integer
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10334-10334	heart rate is an instance of ternary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10342-10343
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65849-65849

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.	Medicine.kif 2847-2855	If a process is an instance of Bradycardia and an agent experiences the process and a heart is an instance of heart and the heart is a part of the agent and a time interval is an instance of minute and the heart beats at a rate of an integer beats per the time interval, then 50 is greater than the integer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2819-2827	If a process is an instance of tachyarrhythmia and an agent experiences the process and a heart is an instance of heart and the heart is a part of the agent and a time interval is an instance of minute and the heart beats at a rate of an integer beats per the time interval, then the integer is greater than 100
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10345-10357	If a heart beats at a rate of an integer beats per a time interval, then there exist a collection and a process such that the collection is an instance of collection and heart beat is a member type of the collection and the integer is a member count of the collection and if the process is a member of the collection, then the heart is a patient of the process and the time of existence of the process takes place during the time interval

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
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 122-136	If the resting heart rate of a mammal is an integer and the mammalEART is an instance of heart and the mammalEART is a part of the mammal, then there exists a time interval such that there doesn't exist the integerEC such that the integerEC is an instance of recreation or exercise and the mammal is an agent of the integerEC and the time interval takes place during the time of existence of the integerEC and the time interval is an instance of minute and the mammal beats at a rate of the integer beats per the time interval

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