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 | |
(subclass Nucleotide OrganicObject) | VirusProteinAndCellPart.kif 51-51 |
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 |
![]() |
(=> (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 661-675 | |
(=> (instance ?G Gene) (exists (?N ?D) (and (instance ?N Nucleotide) (equal ?G ?N) (part ?N ?D) (instance ?D DNAMolecule)))) |
VirusProteinAndCellPart.kif 652-659 |
![]() |
![]() |