MuscularContraction - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - MuscularContraction

MuscularContraction(muscular contraction)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10530-10531
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10528-10528	Muscular contraction is a subclass of body motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10529-10529	Muscular contraction 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 65212-65212

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3954-3964	If a motion is an instance of muscular contraction and an object moves during the motion and the object is an instance of voluntary muscle or the object is an instance of heart muscle, then there exists another object such that the other object is an instance of troponin and the other object is a resource for the motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10533-10548	If a process is an instance of muscular contraction and an entity is a patient of the process and the entity is an instance of muscle and the length of the entity is a real number another entity(s) holds during immediately before the time of existence of the process and the length of the entity is another real number the other entity(s) holds during immediately after the time of existence of the process, then the real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1758-1780	If the insertion point of a kind of muscle is a kind of body part and an object is an instance of human and standard anatomical position is an attribute of the object holds during a time interval and healthy is an attribute of the object and another time interval is an instance of muscular contraction and the time of existence of the other time interval takes place during the time interval and another object is an instance of a kind of muscle and the other object is a part of the object and the other object is an instrument for the other time interval and one end of the other object is a third object and the third object meets a fourth object and the third object is located at an entity holds during the beginning of the other time interval, then the third object is not located at the entity holds during the end of the other time interval
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1708-1729	If the origin of a kind of muscle is a kind of body part and an object is an instance of human and standard anatomical position is an attribute of the object holds during a time interval and healthy is an attribute of the object and another time interval is an instance of muscular contraction and the time of existence of the other time interval takes place during the time interval and another object is an instance of a kind of muscle and the other object is a part of the object and the other object is an instrument for the other time interval and one end of the other object is a third object and the third object meets a fourth object and the third object is located at an entity holds during the beginning of the other time interval, then the third object is located at the entity holds during the end of the other time interval

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10647-10657	If a motion is an instance of extension and an object moves during the motion, then there exist another object and the other objectC such that the other object is an instance of muscle and the other objectC is an instance of muscular contraction and the other object is an instrument for the motion and the other object is connected to the object and the other objectC is a subprocess of the motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10607-10617	If a motion is an instance of flexion and an object moves during the motion, then there exist another object and the other objectC such that the other object is an instance of muscle and the other objectC is an instance of muscular contraction and the other object is an instrument for the motion and the other object is connected to the object and the other objectC is a subprocess of the motion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10728-10740	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

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

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