Class PHARMACOLOGIC-CHALLENGE

Subclass-Of: Challenge
Axioms:
(=> (Pharmacologic-Challenge ?Self)
    (Exists (?A)
            (And (Resource ?Self ?A) (Pharmacologic-Substance ?A))))