Class PERSON

Subclass-Of: Social-object

Axioms:

(=> (Person ?Self)
    (And (Exists (?A) (And (Performs ?Self ?A) (Act ?A)))
         (Exists (?B)
                 (And (Interacts-With ?Self ?B) (Social-Object ?B)))))

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