|
|
  parasite
|
|
|
| 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 | DNAMolecule ist eine teilkategorie von 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 |
|
| (=> (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 |
|
|
|
|