Class
ASSISTANCE
Subclass-Of
:
Occupational-activity
Axioms:
(=> (
Assistance
?Self) (Exists (?A) (And (
Beneficiary
?Self ?A) (
Needy
?A))))
Defined in theory:
Clin-act
Source code:
Clin-Act.lisp