Class PEPTIDE-BOND

Subclass-Of: Organic-chemical

Axioms:

(=> (Peptide-Bond ?Self)
    (And (Exists (?A)
                 (And (Prime-Component-Of ?Self ?A) (Protein ?A)))
         (Exists (?B) (And (Interconnects ?Self ?B) (Amino-Acid ?B)))))

• Defined in theory: Molecular-biology
• Source code: Molecular-Biology.lisp