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 119-124
(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 118-118 RNA molecule is a subclass of Biopolymer

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


(termFormat ChineseLanguage RNAMolecule "RNA分子") domainEnglishFormat.kif 50162-50162
(termFormat ChineseTraditionalLanguage RNAMolecule "RNA分子") domainEnglishFormat.kif 50161-50161
(termFormat EnglishLanguage RNAMolecule "RNA molecule") domainEnglishFormat.kif 50160-50160

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 655-669
(=>
    (and
        (instance ?N Nucleotide)
        (part ?N ?M))
    (or
        (instance ?M DNAMolecule)
        (instance ?M RNAMolecule)))
VirusProteinAndCellPart.kif 56-62
(=>
    (instance ?OBJ1 RNAVirus)
    (exists (?OBJ2)
        (and
            (geneticSubstrateOfVirus ?OBJ1 ?OBJ2)
            (instance ?OBJ2 RNAMolecule))))
VirusProteinAndCellPart.kif 130-135
(=>
    (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