Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   RTPCRTest
|
|
|
| appearance as argument number 1 |
|
|
| (subclass RTPCRTest MeasuringDevice) | Medicine.kif 1543-1543 | Reverse transcription polymerase chain reaction is a subclass of measuring device |
| (documentation RTPCRTest EnglishLanguage "Reverse transcription polymerase chain reaction (RT-PCR) is a laboratory technique combining reverse transcription of RNA into DNA (in this context called complementary DNA or cDNA) and amplification of specific DNA targets using polymerase chain reaction (PCR). It is primarily used to measure the amount of a specific RNA. This is achieved by monitoring the amplification reaction using fluorescence, a technique called real time PCR or quantitative PCR (qPCR). Combined RT-PCR and qPCR are routinely used for analysis of gene expression and quantification of viral RNA in research and clinical settings.[from Wikipedia]") | Medicine.kif 1544-1553 | Reverse transcription polymerase chain reaction is a subclass of measuring device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage RTPCRTest "RT-PCR test") | Medicine.kif 1555-1555 | |
| (termFormat EnglishLanguage RTPCRTest "RT-PCR") | Medicine.kif 1556-1556 | |
| (termFormat EnglishLanguage RTPCRTest "Reverse transcription polymerase chain reaction") | Medicine.kif 1557-1557 |
| antecedent |
|
|
| (=> (instance ?R RTPCRTest) (hasPurpose ?R (exists (?M ?A ?T ?MEAS) (and (instance ?M Measuring) (patient ?M ?RNA) (instance ?RNA RNAMolecule) (holdsDuring ?T (measure ?RNA ?MEAS)) (knows ?A (holdsDuring ?T (measure ?RNA ?MEAS))))))) |
Medicine.kif 1559-1571 | If X is an instance of Reverse transcription polymerase chain reaction, then X has the purpose there exist Y, Z,, , W, V such that Y is an instance of measuring, U is a patient of Y, U is an instance of RNA molecule, the measure of U is V holds during W, and Z knows the measure of U is V holds during W |
| (=> (and (instance ?M Measuring) (instrument ?M ?R) (instance ?R RTPCRTest)) (exists (?E) (and (instance ?E RadiatingLight) (origin ?E ?R)))) |
Medicine.kif 1573-1581 | If X is an instance of measuring, Y is an instrument for X, and Y is an instance of Reverse transcription polymerase chain reaction, then there exists Z such that Z is an instance of radiating light and Z originates at Y |
|