Class Legal-Entity

Slots on class Legal-Entity:

Arity: 1
Documentation:
That which can enter into a legal contract. For the purposes of the Enterprise Ontology, this is equivalent to the union of Person, Corporation, and Partnership.
Exhaustive-Subclass-Partition: {Corporation, Partnership, Person}
Instance-Of: Class, Relation, Set
Range-Of: Actual-Customer, For-Sale-Vendor, Sale-Vendor, Shareholder-Of, Specified-Potential-Customer ...
Subclass-Of: Eo-Entity, Individual, Individual-Thing, Thing
Superclass-Of: Corporation, Partnership, Person, Shareholder, Vendor ...

Slots on instances of Legal-Entity:

Implication Axioms for Legal-Entity:

(=> (Legal-Entity ?X)
    (Or (Person ?X) (Corporation ?X) (Partnership ?X)))

Equivalence Axioms for Legal-Entity:

(<=> (Legal-Entity ?X)
     (And (Eo-Entity ?X)
          (Or (Person ?X) (Corporation ?X) (Partnership ?X))))

Other Related Implication Axioms for Legal-Entity:

(=> (Holds-Stake-In ?Stakeholder ?Organisational-Unit)
    (And (Or (Legal-Entity ?Stakeholder)
             (Organisational-Unit ?Stakeholder))
         (Exists (?Purpose)
                 (And (Purpose ?Purpose)
                      (Hold-Purpose ?Organisational-Unit ?Purpose)
                      (In-Scope-Of-Interest ?Stakeholder ?Purpose)))))

Other Related Equivalence Axioms for Legal-Entity:

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

(<=> (Stakeholder ?Stakeholder)
     (And (Actor ?Stakeholder)
          (Or (Legal-Entity ?Stakeholder)
              (Organisational-Unit ?Stakeholder))
          (Exists (?Organisational-Unit)
                  (And (Organisational-Unit ?Organisational-Unit)
                       (Holds-Stake-In ?Stakeholder
                                       ?Organisational-Unit)))))

Other Related Axioms for Legal-Entity:

(Inherited-Facet-Value Slot-Value-Type
                       For-Sale
                       Specified-Potential-Customer
                       Legal-Entity)

(Inherited-Facet-Value Slot-Value-Type
                       For-Sale
                       For-Sale-Vendor
                       Legal-Entity)

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

(Inherited-Facet-Value Slot-Value-Type
                       Employment-Contract
                       Employer
                       Legal-Entity)

(Inherited-Facet-Value Slot-Value-Type
                       Activity-Ownership
                       Parent-Legal-Entity
                       Legal-Entity)