Class MACHINE-AIDED-HEALTHCARE-ACTIVITY

A medical machine-aided activity.
Subclass-Of: Health-care-activity
Axioms:
(=> (Machine-Aided-Healthcare-Activity ?Self)
    (And (Exists (?A) (And (Instrument ?Self ?A) (Machine ?A)))
         (Exists (?B)
                 (And (Supports ?Self ?B)
                      (Or (Therapeutic-Or-Preventive-Procedure ?B)
                          (Laboratory-Procedure ?B)
                          (Diagnostic-Procedure ?B))))))