Class Activity-Ownership


Notes for Activity-Ownership:


Slots on class Activity-Ownership:

Arity: 1
Documentation:
a Non-Legal-Ownership between an Actor and an Activity whereby the Actor is responsible for the Activity.
Instance-Of: Class, Relation, Set
Subclass-Of: Non-Legal-Ownership, Eo-Entity, Individual-Thing, Ownership, Thing ...


Slots on instances of Activity-Ownership:

Owned-Entity:
Minimum-Slot-Cardinality: 0
Slot-Cardinality: 1
Slot-Value-Type: Activity
Owned-Rights:
Minimum-Slot-Cardinality: 0
Owning-Actor:
Minimum-Slot-Cardinality: 0
Slot-Cardinality: 1
Slot-Value-Type: Potential-Actor
Parent-Legal-Entity:
Minimum-Slot-Cardinality: 0
Slot-Value-Type: Legal-Entity
Responsibilities-Of-Owner:
Minimum-Slot-Cardinality: 0

Other Related Equivalence Axioms for Activity-Ownership:

(<=> (Activity-Owner ?Actor)
     (And (Actor ?Actor)
          (Exists (?Activity-Ownership)
                  (And (Activity-Ownership ?Activity-Ownership)
                       (Owning-Actor ?Activity-Ownership ?Actor)))))