| 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 45-53 | |
| (subclass DNAMolecule Molecule) | VirusProteinAndCellPart.kif 44-44 | DNAMolecule は 分子 の subclass では %n |
| 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 |
|
|
| (=> (instance ?OBJ1 DNAVirus) (exists (?OBJ2) (and (geneticSubstrateOfVirus ?OBJ1 ?OBJ2) (instance ?OBJ2 DNAMolecule)))) |
VirusProteinAndCellPart.kif 66-71 |
|
| (=> (instance ?VIRUS DNAVirus) (exists (?MOLECULE) (and (instance ?MOLECULE DNAMolecule) (part ?MOLECULE ?VIRUS)))) |
VirusProteinAndCellPart.kif 59-64 |
|
|
|