Class Resource

• Defined in ontology: Enterprise-v0.1

Notes for Resource:

• See notes under Can-Use-Resource
• This is a special Role-Class.

Slots on class Resource:

Arity: 1

Documentation: The Entity that is used or consumed in the Can-Use-Resource relationship

Instance-Of: Class, Relation, Set

Subclass-Of: Qua-Entity, Eo-Entity, Individual, Individual-Thing, Thing ...

---

Slots on instances of Resource:

Equivalence Axioms for Resource:

(<=> (Resource ?X)
     (Exists (?Activity-Or-Spec)
             (Can-Use-Resource ?Activity-Or-Spec ?X)))