Troponin - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Troponin Protein)	Medicine.kif 3974-3974	Troponin is a subclass of protein
(documentation Troponin EnglishLanguage "Troponin, or the troponin complex, is a complex of three regulatory Proteins (troponin C, troponin I, and troponin T) that are integral to muscle contraction in skeletal Muscle and cardiac muscle, but not smooth muscle. Measurements of cardiac-specific troponins I and T are extensively used as diagnostic and prognostic indicators in the management of myocardial infarction and acute coronary syndrome. Blood troponin levels may be used as a diagnostic marker for stroke, although the sensitivity of this measurement is low. [from Wikipedia]")	Medicine.kif 3976-3984	Troponin is a subclass of protein

appearance as argument number 2

(termFormat EnglishLanguage Troponin "troponin")

consequent

(=>
    (and
        (instance ?C MuscularContraction)
        (moves ?C ?M)
        (or
            (instance ?M VoluntaryMuscle)
            (instance ?M HeartMuscle)))
    (exists (?T)
        (and
            (instance ?T Troponin)
            (resource ?C ?T))))

If X is an instance of muscular contraction, Y moves during X, and Y is an instance of voluntary muscle or Y is an instance of heart muscle, then there exists Z such that Z is an instance of troponin and Z is a resource for X