Class NUCLEIC-ACID

Subclass-Of: Organic-chemical
Axioms:
(=> (Nucleic-Acid ?Self)
    (Exists (?A) (And (Prime-Component ?Self ?A) (Nucleotide ?A))))