Class
POLYNUCLEOTIDE
Subclass-Of
:
Organic-chemical
Axioms:
(=> (
Polynucleotide
?Self) (Exists (?A) (And (
Polymer-Of
?Self ?A) (
Nucleotide
?A))))
Defined in theory:
Molecular-biology
Source code:
Molecular-Biology.lisp