Class Shareholder

• Defined in ontology: Enterprise-v1.0
• Source pathname: /tmp_mnt/vol/q/htw/cms/frame-editor/ontology-library/ontologies/rice/enterprise-v1.0.lisp

Subclass-Of:

Actor, Legal-Entity, Eo-Entity, Individual-Thing, Thing ...

Instance-Of: Class, Relation, Set

Arity: 1

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

---

Slots:

Implication Axioms for Shareholder:

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

Equivalence Axioms for Shareholder:

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