Class AMINO-ACID

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