Class GLYCOLIPID

Subclass-Of: Lipid

Axioms:

(=> (Glycolipid ?Self)
    (Exists (?A) (And (Component ?Self ?A) (Carbohydrate ?A))))

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