|
|
   Doxycycline
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Nucleotide EnglishLanguage "Nucleotides are organic molecules composed of a nitrogenous base, a pentose sugar and a phosphate. They serve as monomeric units of the nucleic acid polymers – deoxyribonucleic acid (DNA) and ribonucleic acid (RNA), both of which are essential biomolecules within all life-forms on Earth.[Wikipedia]") | VirusProteinAndCellPart.kif 51-54 | |
| (subclass Nucleotide Monomer) | VirusProteinAndCellPart.kif 49-49 | Nucleotide est une sous-classe de Monomer |
| (subclass Nucleotide OrganicObject) | VirusProteinAndCellPart.kif 50-50 | Nucleotide est une sous-classe de objet organique |
| antecedent |
|
|
| (=> (and (instance ?N Nucleotide) (part ?N ?M)) (or (instance ?M DNAMolecule) (instance ?M RNAMolecule))) |
VirusProteinAndCellPart.kif 56-62 |
|
| consequent |
|
|
| (=> (and (instance ?G Gene) (located ?G ?C) (instance ?C Cell)) (exists (?B ?N ?R) (and (instance ?B BiologicalProcess) (eventLocated ?B ?C) (origin ?B ?G) (result ?B ?N) (instance ?N Nucleotide) (part ?N ?R) (instance ?R RNAMolecule) (located ?R ?C)))) |
VirusProteinAndCellPart.kif 655-669 |
|
| (=> (instance ?G Gene) (exists (?N ?D) (and (instance ?N Nucleotide) (equal ?G ?N) (part ?N ?D) (instance ?D DNAMolecule)))) |
VirusProteinAndCellPart.kif 646-653 |
|
|
|