Class CARBOHYDRATE-SEQUENCE

The sequence of carbohydrates within polysaccharides, glycoproteins, and glycolipids.
Subclass-Of: Molecular-sequence
Axioms:
(=> (Carbohydrate-Sequence ?Self)
    (And (Exists (?A)
                 (And (Symbolic-Sequence-Of ?Self ?A)
                      (Carbohydrate ?A)))
         (Exists (?B)
                 (And (Represents ?Self ?B)
                      (Or (Polysaccharide ?B)
                          (Glycoprotein ?B)
                          (Glycolipid ?B))))))