Nucleotide(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 53-56 | |
(subclass Nucleotide Monomer) | VirusProteinAndCellPart.kif 50-50 | Nucleotide is a subclass of monomer |
(subclass Nucleotide OrganicObject) | VirusProteinAndCellPart.kif 51-51 | Nucleotide is a subclass of organic object |
appearance as argument number 2 |
![]() |
(termFormat EnglishLanguage Nucleotide "nucleotide") | VirusProteinAndCellPart.kif 52-52 |
antecedent |
![]() |
(=> (and (instance ?N Nucleotide) (part ?N ?M)) (or (instance ?M DNAMolecule) (instance ?M RNAMolecule))) |
VirusProteinAndCellPart.kif 58-64 |
|
consequent |
![]() |
![]() |
![]() |