HeartBeat - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12065-12067
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12068-12068
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12063-12063	Heart beat is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12062-12062	Heart beat is a subclass of impelling
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12064-12064	Heart beat is a subclass of organ or tissue process

appearance as argument number 2

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

domainEnglishFormat.kif 64996-64996

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12077-12089	If a process is an instance of heart beat and an entity is a patient of the process and the entity is an instance of heart, then there exist another process and a third process such that the other process is an instance of muscular contraction and the entity is a patient of the other process and the third process is an instance of muscle relaxing and the entity is a patient of the third process and the other process is a subprocess of the process and the third process is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12070-12075	If a process is an instance of heart beat, then there exists an entity such that the entity is a patient of the process and the entity is an instance of heart

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11692-11704	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
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 589-597	If a physical is an instance of cardio pulmonary resuscitation, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of human and the other entity is an instance of heart beat and the other entity is located at the entity and the physical causes the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12091-12100	If a physical is an instance of heart, then the physical has the purpose there exist an entity, the physicalB and a third entity such that the physicalB is an instance of heart beat and the entity is an instance of liquid motion and the third entity is an instance of blood and the third entity moves during the entity and the physicalB causes the entity

statement

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

Medicine.kif 4332-4332