Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Troponin
Troponin

appearance as argument number 1
-------------------------


(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 3942-3950
(subclass Troponin Protein) Medicine.kif 3940-3940 Troponin ist eine teilkategorie von Protein

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Troponin "troponin") Medicine.kif 3952-3952

consequent
-------------------------


(=>
    (and
        (instance ?C MuscularContraction)
        (moves ?C ?M)
        (or
            (instance ?M VoluntaryMuscle)
            (instance ?M HeartMuscle)))
    (exists (?T)
        (and
            (instance ?T Troponin)
            (resource ?C ?T))))
Medicine.kif 3954-3964


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