Class Shareholding

Defined in ontology: Enterprise-v0.1

Slots on class Shareholding:

Arity: 1
Documentation:
A Relationship between a Legal-Entity and a Corporation whereby the former owns a number of Shares of the Corportation
Domain-Of: Corporation-Of, Number-Held, Share-Type-Of, Shareholder-Of
Instance-Of: Class, Relation, Set
Subclass-Of: Eo-Entity, Individual, Individual-Thing, Thing

Corporation-Of:: Minimum-Slot-Cardinality: 0; Slot-Cardinality: 1; Slot-Value-Type: Corporation
Number-Held:: Minimum-Slot-Cardinality: 0; Slot-Cardinality: 1; Slot-Value-Type: Positive
Share-Type-Of:: Minimum-Slot-Cardinality: 0; Slot-Cardinality: 1; Slot-Value-Type: Share-Type
Shareholder-Of:: Minimum-Slot-Cardinality: 0; Slot-Cardinality: 1; Slot-Value-Type: Legal-Entity

Other Related Equivalence Axioms for Shareholding:

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