Relation EXCRETES

Some body system or part embodies a function which has a body substance as product.

Arity: 2

Domain: Biologic-object

Range: Body-substance

Subrelation-Of: Biological-relation

Axioms:

(=> (Excretes ?A ?B)
    (Exists (?C) (And (Embodies ?A ?C) (Product ?C ?B))))

• Defined in theory: Biologic-functions
• Source code: Biologic-Functions.lisp