Class Organisational-Unit


Notes for Organisational-Unit:


Slots on class Organisational-Unit:

Arity: 1
Documentation:
An Entity with a defined identity for Managing the performance of Activities to Achieve one or more Purposes. An OU may be characterised by: * the nature of its Purpose(s); * one or more Person(s) working for the OU; * Resource(s) allocated to the OU; * other OUs that Manage or are Managed-By the OU; * its Assets; * its Stakeholders; * being Legally Owned; * its Market (if it is a Vendor).
Domain-Of: Manages
Instance-Of: Class, Relation, Set
Range-Of: Holds-Stake-In, Manages, Works-For-Ou
Subclass-Of: Potential-Actor, Eo-Entity, Individual, Individual-Thing, Thing ...


Slots on instances of Organisational-Unit:


Other Related Implication Axioms for Organisational-Unit:

(=> (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 Organisational-Unit:

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