Relation Shareholder-Of

Slots on relation Shareholder-Of:

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

Other Related Equivalence Axioms for Shareholder-Of:

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

Other Related Axioms for Shareholder-Of:

(Inherited-Facet-Value Slot-Value-Type
                       Shareholding
                       Shareholder-Of
                       Legal-Entity)

(Inherited-Facet-Value Slot-Cardinality
                       Shareholding
                       Shareholder-Of
                       1)

(Inherited-Facet-Value Minimum-Slot-Cardinality
                       Shareholding
                       Shareholder-Of
                       0)