TreeView Knowledge Base Browser - HeartBeat

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - HeartBeat

HeartBeat

appearance as argument number 1

(documentation HeartBeat EnglishLanguage "A cycle of the Heart undergoing MuscularContract and then a MuscleRelaxing to pump Blood and then fill with blood to be ready for the next contraction.")	Mid-level-ontology.kif 10221-10223
(subclass HeartBeat BodyMotion)	Mid-level-ontology.kif 10219-10219	HeartBeat is a subclass of body motion
(subclass HeartBeat Impelling)	Mid-level-ontology.kif 10218-10218	HeartBeat is a subclass of impelling
(subclass HeartBeat OrganOrTissueProcess)	Mid-level-ontology.kif 10220-10220	HeartBeat is a subclass of organ or tissue process

antecedent

(=> (and (instance ?HB HeartBeat) (patient ?HB ?H) (instance ?H Heart)) (exists (?MC ?MR) (and (instance ?MC MuscularContraction) (patient ?MC ?H) (instance ?MR MuscleRelaxing) (patient ?MR ?H) (subProcess ?MC ?HB) (subProcess ?MR ?HB))))	Mid-level-ontology.kif 10232-10244	If a process is an instance of HeartBeat 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 MuscularContraction and the entity is a patient of the other process and the third process is an instance of MuscleRelaxing 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
(=> (instance ?HB HeartBeat) (exists (?H) (and (patient ?HB ?H) (instance ?H Heart))))	Mid-level-ontology.kif 10225-10230	If a process is an instance of HeartBeat, then there exists an entity such that the entity is a patient of the process and the entity is an instance of heart

consequent

(=> (heartRate ?H ?T ?I) (exists (?C) (and (instance ?C Collection) (memberType ?C HeartBeat) (memberCount ?C ?I) (=> (member ?M ?C) (and (patient ?M ?H) (during (WhenFn ?M) ?T))))))	Mid-level-ontology.kif 9913-9925	If a heart beats at a rate of an integer beats per a time interval, then there exists a collection such that the collection is an instance of collection and HeartBeat is a member type of the collection and the integer is a member count of the collection and if a 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
(=> (instance ?H Heart) (hasPurpose ?H (exists (?T ?HB ?B) (and (instance ?HB HeartBeat) (instance ?T LiquidMotion) (instance ?B Blood) (moves ?T ?B) (causes ?HB ?T)))))	Mid-level-ontology.kif 10246-10255	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 HeartBeat 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

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