TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10715-10717
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10718-10718
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10713-10713	Heart beat is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10712-10712	Heart beat is a subclass of impelling
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10714-10714	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 64973-64973

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10727-10739	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 10720-10725	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 10344-10356	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 599-607	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 10741-10750	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 4325-4325