Class PROCEDURE-FINDING

Subclass-Of: Medical-sign

Axioms:

(=> (Procedure-Finding ?Self)
    (Exists (?A) (And (Outcome-Of ?Self ?A) (Medical-Procedure ?A))))

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