Class PROTEIN

Subclass-Of: Organic-chemical

Axioms:

(=> (Protein ?Self)
    (And (Exists (?A) (And (Prime-Component ?Self ?A) (Carbon ?A)))
         (Exists (?B) (And (Prime-Component ?Self ?B) (Nitrogen ?B)))
         (Exists (?C) (And (Prime-Component ?Self ?C) (Hydrogen ?C)))
         (Exists (?D) (And (Prime-Component ?Self ?D) (Oxygen ?D)))))

• Defined in theory: Substances
• Source code: Substances.lisp