(Slot-Value-Type Therapeutic-Or-Preventive-Procedure
Complicates
Biologic-Function)
(Slot-Value-Type Therapeutic-Or-Preventive-ProcedureSupports
Therapeutic-Or-Preventive-Procedure)
(Slot-Value-Type Therapeutic-Or-Preventive-Procedure
Improves
Biologic-Function)
(Slot-Value-Type Therapeutic-Or-Preventive-Procedure
Prevents
Pathologic-Function)
(Slot-Value-Type Therapeutic-Or-Preventive-Procedure
Treatment-Action-Of
Health-Condition)
(=> (Therapeutic-Or-Preventive-Procedure ?Self)
(And (Exists (?A)
(And (Bearer ?Self ?A)
(Or (Patient ?A)
(Patient-Or-Disabled-Group ?A))))
(Exists (?B)
(And (Resource ?Self ?B)
(Or (Pharmacologic-Substance ?B) (Food ?B))))
(Exists (?C)
(And (Instrument ?Self ?C) (Manufactured-Object ?C)))))