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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DNAMolecule
DNAMolecule(DNA molecule)DNA, cDNA, chromosome, complementary_DNA, deoxyribonucleic_acid, desoxyribonucleic_acid, dscDNA, episome, plasmid, plasmid_DNA, provirus, recombinant_DNA, recombinant_deoxyribonucleic_acid

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


(documentation DNAMolecule EnglishLanguage "Deoxyribonucleic acid (DNA) is a nucleic acid which carries genetic instructions for the biological development of all cellular forms of life and many viruses. DNA is sometimes referred to as the molecule of heredity as it is inherited and used to propagate traits. During reproduction, it is replicated and transmitted to offspring. In bacteria and other simple cell organisms, DNA is distributed more or less throughout the cell. In the complex cells that make up plants, animals and in other multi-celled organisms, most of the DNA is found in the chromosomes, which are located in the cell nucleus. (from Wikipedia)") VirusProteinAndCellPart.kif 90-98
(subclass DNAMolecule Biopolymer) VirusProteinAndCellPart.kif 89-89 DNA molecule is a subclass of Biopolymer

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


(termFormat ChineseLanguage DNAMolecule "DNA分子") domainEnglishFormat.kif 20044-20044
(termFormat ChineseTraditionalLanguage DNAMolecule "DNA分子") domainEnglishFormat.kif 20043-20043
(termFormat EnglishLanguage DNAMolecule "DNA molecule") domainEnglishFormat.kif 20042-20042

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


(=>
    (and
        (instance ?N Nucleotide)
        (part ?N ?M))
    (or
        (instance ?M DNAMolecule)
        (instance ?M RNAMolecule)))
VirusProteinAndCellPart.kif 56-62
(=>
    (instance ?G Gene)
    (exists (?N ?D)
        (and
            (instance ?N Nucleotide)
            (equal ?G ?N)
            (part ?N ?D)
            (instance ?D DNAMolecule))))
VirusProteinAndCellPart.kif 645-652
(=>
    (instance ?N Nucleosome)
    (exists (?D ?H)
        (and
            (instance ?D DNAMolecule)
            (instance ?H Histone)
            (part ?D ?N)
            (part ?H ?N))))
VirusProteinAndCellPart.kif 624-631
(=>
    (instance ?OBJ1 DNAVirus)
    (exists (?OBJ2)
        (and
            (geneticSubstrateOfVirus ?OBJ1 ?OBJ2)
            (instance ?OBJ2 DNAMolecule))))
VirusProteinAndCellPart.kif 111-116
(=>
    (instance ?VIRUS DNAVirus)
    (exists (?MOLECULE)
        (and
            (instance ?MOLECULE DNAMolecule)
            (part ?MOLECULE ?VIRUS))))
VirusProteinAndCellPart.kif 104-109


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