Relation Shareholder-Of

Instance-Of: Binary-Relation, Relation, Set
Domain: Shareholding
Range: Legal-Entity
Arity: 2
Documentation: The Legal-Entity in a Shareholding situation that owns the shares.

Frame References to Shareholder-Of:

In class Shareholding:

Slots:

Shareholder-Of:
Minimum-Slot-Cardinality: 0
Slot-Cardinality: 1
Slot-Value-Type: Legal-Entity

Implication Axioms mentioning Shareholder-Of:

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


Equivalence Axioms mentioning Shareholder-Of:

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