Class SOCIAL-INTERACTION

Subclass-Of: Activity

Axioms:

(<=> (Social-Interaction ?Self)
     (And (Activity ?Self)
          (Exists (?A) (And (Performed-By ?Self ?A) (Person ?A)))))

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