Nucleotide |
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 is a subclass of Monomer |
(subclass Nucleotide OrganicObject) | VirusProteinAndCellPart.kif 50-50 | Nucleotide is a subclass of organic object |
antecedent |
(=> (and (instance ?N Nucleotide) (part ?N ?M)) (or (instance ?M DNAMolecule) (instance ?M RNAMolecule))) |
VirusProteinAndCellPart.kif 56-62 |
|
consequent |