Class *NUTRIENT

Subclass-Of: Substance

Axioms:

(<=> (*Nutrient ?Self)
     (And (Substance ?Self)
          (Exists (?A)
                  (And (Resource-Of ?Self ?A)
                       (Nutrition-Function ?A)))))

• Defined in theory: Biologic-substances
• Source code: Biologic-Substances.lisp