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