Class INSTITUTIONAL-ACTIVITY

Subclass-Of: Occupational-activity

Axioms:

(=> (Institutional-Activity ?Self)
    (Exists (?A) (And (Performed-By ?Self ?A) (Institution ?A))))

• Defined in theory: Social-objects
• Source code: Social-Objects.lisp