Class
PHYSIOLOGIC-CHALLENGE
Subclass-Of
:
Challenge
Axioms:
(=> (
Physiologic-Challenge
?Self) (Exists (?A) (And (
Measures
?Self ?A) (
Physiologic-Function
?A))))
Defined in theory:
Medical-procedures
Source code:
Medical-Procedures.lisp