Class NUCLEOTIDE-SEQUENCE

The sequence of purines and pyrimidines in nucleic acids and polynucleotides. Included here are nucleotide-rich regions, conserved sequence, and DNA transforming region.
Subclass-Of: Molecular-sequence
Axioms:
(Slot-Value-Type Nucleotide-Sequence Part-Of Nucleotide-Sequence)

(=> (Nucleotide-Sequence ?Self)
    (And (Exists (?A)
                 (And (Symbolic-Sequence-Of ?Self ?A)
                      (Or (Purine ?A) (Pyrimidine ?A))))
         (Exists (?B)
                 (And (Represents ?Self ?B)
                      (Or (Gene-Or-Genome ?B)
                          (Nucleic-Acid-Nucleoside-Or-Nucleotide ?B)
                          (Polynucleotide ?B))))))