Class Shareholder

• Defined in ontology: Enterprise-v0.1

Notes for Shareholder:

• This is a special Role-Class.

Slots on class Shareholder:

Arity: 1

Documentation: A Legal-Entity owning one or more Shares in some Corporation

Instance-Of: Class, Relation, Set

Subclass-Of: Actor, Legal-Entity, Eo-Entity, Individual-Thing, Thing ...

---

Slots on instances of Shareholder:

Implication Axioms for Shareholder:

(=> (Shareholder ?Legal-Entity)
    (Exists (?Shareholding)
            (And (Shareholding ?Shareholding)
                 (Shareholder-Of ?Shareholding ?Legal-Entity))))

Equivalence Axioms for Shareholder:

(<=> (Shareholder ?Legal-Entity)
     (And (Legal-Entity ?Legal-Entity)
          (Actor ?Legal-Entity)
          (Exists (?Shareholding)
                  (And (Shareholding ?Shareholding)
                       (Shareholder-Of ?Shareholding ?Legal-Entity)))))