Class Activity-Or-Spec

• 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: {Activity, Activity-Spec}

Superclass-Of:

Activity, Activity-Spec, Plan, Strategy, Sub-Plan ...

Instance-Of: Class, Relation, Set

Domain-Of: Can-Use-Resource

Arity: 1

Documentation: The union of Activity and Activity-Spec

---

Slots:

Can-Use-Resource:

Implication Axioms for Activity-Or-Spec:

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

Equivalence Axioms for Activity-Or-Spec:

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

Axioms mentioning Activity-Or-Spec:

(Nth-Domain Resource-Substitute 3 Activity-Or-Spec)