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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DNAMolecule

Sigma KEE - DNAMolecule
DNAMolecule

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

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


(termFormat ChineseLanguage DNAMolecule "DNA分子") domainEnglishFormat.kif 20028-20028
(termFormat ChineseTraditionalLanguage DNAMolecule "DNA分子") domainEnglishFormat.kif 20027-20027
(termFormat EnglishLanguage DNAMolecule "DNA molecule") domainEnglishFormat.kif 20026-20026

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 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