Class GROUP

A conceptual entity referring to the classification of individuals according to certain shared characteristics.
Subclass-Of: Social-object
Problem: A group is a classification, but it also individuates some collection of individuals: is it purely abstract or not? we use layers here, and treat it as a social object, rather than a 'conceptual' stuff (what is not conceptual???)
Axioms:
(Slot-Cardinality Group _Distributed 1)

(=> (Group ?Self)
    (And (Exists (?A)
                 (And (Mereological-Member ?Self ?A) (Person ?A)))
         (Exists (?B) (And (Performs ?Self ?B) (Activity ?B)))
         (Exists (?C) (And (Exhibits ?Self ?C) (Behavior ?C)))))