Class Activity

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

Activity-Or-Spec, Eo-Entity, Individual, Individual-Thing, Thing ...

Superclass-Of:

Manage, Market-Research, Planning, Promotion, Resource-Allocation ...

Instance-Of: Class, Relation, Set

Domain-Of:

Actual-Activity-Interval, Actual-Effect, Actual-Output, Actual-Pre-Condition, Sub-Activity ...

Range-Of:

Actually-Execute, Chosen-Activity, Execution-Of-Activity-Spec, Sub-Activity

Arity: 1

Documentation:

Something done over a particular Time-Interval. The following may pertain to an Activity: * is performed by one or more Actual-Doer s; * is decomposed into more detailed Sub-Activity s; * Can-Use-Resource s; * An Actor may Hold-Authority to perform it; * there may be an Activity-Owner; * has a measured efficiency.

---

Slots:

Activity-Status:

Minimum-Slot-Cardinality: 1

Slot-Value-Type: Activity-State

Actual-Activity-Interval:

Minimum-Slot-Cardinality: 0

Slot-Cardinality: 1

Slot-Value-Type: Time-Range

Actual-Effect:

Minimum-Slot-Cardinality: 1

Slot-Value-Type: Effect

Actual-Output:

Actual-Pre-Condition:

Minimum-Slot-Cardinality: 1

Slot-Value-Type: Pre-Condition

Sub-Activity:

Frame References to Activity:

In class Activity-Ownership:

Slots:

Owned-Entity:

Slot-Value-Type: Activity

In class Activity-Or-Spec:

Exhaustive-Subclass-Partition: {Activity, Activity-Spec}

In class Decision:

Slots:

Chosen-Activity:

Slot-Value-Type: Activity

Implication Axioms mentioning Activity:

(=> (Activity-Or-Spec ?X) (Or (Activity ?X) (Activity-Spec ?X)))

Equivalence Axioms mentioning Activity:

(<=> (Activity-Or-Spec ?X)
     (And (Eo-Entity ?X) (Or (Activity ?X) (Activity-Spec ?X))))