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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RTPCRTest
RTPCRTest

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


(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 1560-1569
(subclass RTPCRTest MeasuringDevice) Medicine.kif 1559-1559 RTPCRTest测量工具subclass

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


(termFormat EnglishLanguage RTPCRTest "RT-PCR test") Medicine.kif 1571-1571
(termFormat EnglishLanguage RTPCRTest "RT-PCR") Medicine.kif 1572-1572
(termFormat EnglishLanguage RTPCRTest "Reverse transcription polymerase chain reaction") Medicine.kif 1573-1573

antecedent
-------------------------


(=>
    (and
        (instance ?M Measuring)
        (instrument ?M ?R)
        (instance ?R RTPCRTest))
    (exists (?E)
        (and
            (instance ?E RadiatingLight)
            (origin ?E ?R))))
Medicine.kif 1589-1597
(=>
    (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 1575-1587


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