Class Legal-Entity

• 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:

Eo-Entity, Individual, Individual-Thing, Thing

Exhaustive-Subclass-Partition: {Corporation, Partnership, Person}

Superclass-Of:

Customer, Partnership, Person, Shareholder, Vendor ...

Instance-Of: Class, Relation, Set

Range-Of:

Actual-Customer, For-Sale-Vendor, Sale-Vendor, Shareholder-Of, Specified-Potential-Customer ...

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.

---

Slots:

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))))

Frame References to Legal-Entity:

In class Activity-Ownership:

Slots:

Parent-Legal-Entity:

Slot-Value-Type: Legal-Entity

In class For-Sale:

Slots:

For-Sale-Vendor:

Slot-Value-Type: Legal-Entity

Specified-Potential-Customer:

Slot-Value-Type: Legal-Entity

In class Non-Legal-Ownership:

Slots:

Parent-Legal-Entity:

Slot-Value-Type: Legal-Entity

In class Shareholding:

Slots:

Shareholder-Of:

Slot-Value-Type: Legal-Entity

In class Potential-Sale:

Slots:

Potential-Customer:

Implication Axioms mentioning Legal-Entity:

(=> (Customer ?X) (Legal-Entity ?X))

(=> (Shareholder ?Legal-Entity) (Legal-Entity ?Legal-Entity))

(=> (Stakeholder ?Stakeholder)
    (Or (Legal-Entity ?Stakeholder)
        (Organisational-Unit ?Stakeholder)))

Equivalence Axioms mentioning Legal-Entity:

(<=> (Customer ?X)
     (And (Legal-Entity ?X)
          (Actor ?X)
          (Or (Exists (?Sale) (Actual-Customer ?Sale ?X))
              (Exists (?Potential-Sale)
                      (Potential-Customer ?Potential-Sale ?X))
              (Exists (?Sale-Offer)
                      (Specified-Potential-Customer ?Sale-Offer ?X)))))

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

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

Axioms mentioning Legal-Entity:

(Or (Legal-Entity ?Stakeholder) (Organisational-Unit ?Stakeholder))