Relation ANALYZED-BY

Arity: 2

Domain: Material-object

Range: Activity

Axioms:

(= (Inverse Analyzes) Analyzed-By)

(<=> (Analyzed-By ?A ?B) (And (Material-Object ?A) (Activity ?B)))

• Defined in theory: Clin-act
• Source code: Clin-Act.lisp