Class GLYCOSIDIC-COMPOUND

Subclass-Of: Organic-chemical

Axioms:

(<=> (Glycosidic-Compound ?Self)
     (And (Organic-Chemical ?Self)
          (Exists (?A)
                  (And (Product-Of ?Self ?A)
                       (Splitting ?A)
                       (Exists (?B)
                               (And (Embodied-In ?A ?B)
                                    (Nucleotide ?B)))))))

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