Relation TRANSFORMATION-OF

Arity: 2

Domain: Entity

Range: Entity

Axioms:

(= (Inverse Transforms-Into) Transformation-Of)

(<=> (Transformation-Of ?A ?B) (And (Entity ?A) (Entity ?B)))

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