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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Entity

Sigma KEE - RNAMolecule
RNAMolecule(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分子Biopolymersubclass

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


(termFormat ChineseLanguage RNAMolecule "RNA分子") domainEnglishFormat.kif 50202-50202
(termFormat ChineseTraditionalLanguage RNAMolecule "RNA分子") domainEnglishFormat.kif 50201-50201
(termFormat EnglishLanguage RNAMolecule "RNA molecule") domainEnglishFormat.kif 50200-50200

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 654-668
(=>
    (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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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