Class FAMILY

Subclass-Of: Social-object

Axioms:

(=> (Family ?Self)
    (Exists (?A)
            (And (Mereological-Member ?Self ?A)
                 (Physical-Person ?A)
                 (Exists (?B)
                         (And (Family-Relationship ?A ?B)
                              (Physical-Person ?B))))))

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