Class Activity-Ownership

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:: Non-Legal-Ownership, Eo-Entity, Individual-Thing, Ownership, Thing ...
Instance-Of: Class, Relation, Set
Arity: 1
Documentation:
a Non-Legal-Ownership between an Actor and an Activity whereby the Actor is responsible for the Activity.

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

Implication Axioms mentioning Activity-Ownership:

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

Equivalence Axioms mentioning Activity-Ownership:

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