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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RNAMolecule
RNAMolecule(RNA molecule)
RNA, acceptor_RNA, informational_RNA, mRNA, messenger_RNA, nRNA, nuclear_RNA, ribonucleic_acid, soluble_RNA, tRNA, template_RNA, transfer_RNA

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


(documentation RNAMolecule EnglishLanguage "Ribonucleic acid (RNA) is a nucleic acid consisting of a string of covalently_bound nucleotides. It is biochemically distinguished from DNA by the presence of an additional hydroxyl group, attached to each pentose ring, as well as by the use of uracil, instead of thymine. RNA transmits genetic information from DNA (via transcription) into proteins (by translation).") VirusProteinAndCellPart.kif 123-128
(externalImage RNAMolecule "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 0/ 04/ NA_comparedto_DNA_thymineAndUracilCorrected.png/ 350px_NA_comparedto_DNA_thymineAndUracilCorrected.png") pictureList.kif 1237-1237
(subclass RNAMolecule Biopolymer) VirusProteinAndCellPart.kif 122-122 RNA molecule is a subclass of biopolymer

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


(termFormat ChineseLanguage RNAMolecule "RNA分子") domainEnglishFormat.kif 50195-50195
(termFormat ChineseTraditionalLanguage RNAMolecule "RNA分子") domainEnglishFormat.kif 50194-50194
(termFormat EnglishLanguage RNAMolecule "RNA molecule") domainEnglishFormat.kif 50193-50193

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


(=>
    (and
        (instance ?G Gene)
        (located ?G ?C)
        (instance ?C Cell))
    (exists (?B ?N ?R)
        (and
            (instance ?B BiologicalProcess)
            (eventLocated ?B ?C)
            (origin ?B ?G)
            (result ?B ?N)
            (instance ?N Nucleotide)
            (part ?N ?R)
            (instance ?R RNAMolecule)
            (located ?R ?C))))
VirusProteinAndCellPart.kif 661-675
(=>
    (and
        (instance ?N Nucleotide)
        (part ?N ?M))
    (or
        (instance ?M DNAMolecule)
        (instance ?M RNAMolecule)))
VirusProteinAndCellPart.kif 58-64
(=>
    (instance ?OBJ1 RNAVirus)
    (exists (?OBJ2)
        (and
            (geneticSubstrateOfVirus ?OBJ1 ?OBJ2)
            (instance ?OBJ2 RNAMolecule))))
VirusProteinAndCellPart.kif 134-139
(=>
    (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 1568-1580


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