DNAMolecule - Sigma Knowledge base Browser

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 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	If an object is an instance of Nucleotide and the object is a part of another object, then the other object is an instance of DNA molecule or the other object is an instance of RNA molecule
(=> (instance ?G Gene) (exists (?N ?D) (and (instance ?N Nucleotide) (equal ?G ?N) (part ?N ?D) (instance ?D DNAMolecule))))	VirusProteinAndCellPart.kif 645-652	If an entity is an instance of gene, then there exist an object and another object such that the object is an instance of Nucleotide and the entity is equal to the object and the object is a part of the other object and the other object is an instance of DNA molecule
(=> (instance ?N Nucleosome) (exists (?D ?H) (and (instance ?D DNAMolecule) (instance ?H Histone) (part ?D ?N) (part ?H ?N))))	VirusProteinAndCellPart.kif 624-631	If an object is an instance of Nucleosome, then there exist another object and a third object such that the other object is an instance of DNA molecule and the third object is an instance of Histone and the other object is a part of the object and the third object is a part of the object
(=> (instance ?OBJ1 DNAVirus) (exists (?OBJ2) (and (geneticSubstrateOfVirus ?OBJ1 ?OBJ2) (instance ?OBJ2 DNAMolecule))))	VirusProteinAndCellPart.kif 111-116	If a virus is an instance of DNA virus, then there exists a molecule such that the molecule is a genetic substrate of virus of the virus and the molecule is an instance of DNA molecule
(=> (instance ?VIRUS DNAVirus) (exists (?MOLECULE) (and (instance ?MOLECULE DNAMolecule) (part ?MOLECULE ?VIRUS))))	VirusProteinAndCellPart.kif 104-109	If an object is an instance of DNA virus, then there exists another object such that the other object is an instance of DNA molecule and the other object is a part of the object

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