Relation Can-Use-Resource

• Defined in ontology: Enterprise-v0.1

Notes for Can-Use-Resource:

• a Resource may have a quantifiable measure denoting how much is available for use (e.g. amount of fuel)
• If the Resource is used but not consumed by an Activity, the quantity available will decrease at T-Begin and return to the original level at T-End.
• If the Resource is consumed, the quantity available will be less at T-End than at T-Begin.
• a Resource may be shared by more than one ACTIVITY
• An Entity produced by an Activity may be viewed as a Resource in that *other* Activities may use/consume it; however such outputs are not Resources with respect to the producing Activity.
• Todo: Should this be split into two (specified and actual) as per other activity relations?

Slots on relation Can-Use-Resource:

Arity: 2

Documentation:

a Relationship between an Activity or Activity-Spec and an Entity whereby the Entity is or can be used or consumed during the performance of the Activity or the Activities as specified in the Activity-Spec

Domain: Activity-Or-Spec

Instance-Of: Binary-Relation, Relation, Set

Range: Eo-Entity

Other Related Implication Axioms for Can-Use-Resource:

(=> (Resource-Substitute ?Resource ?Resource-Sub ?A-Or-Spec)
    (=> (Can-Use-Resource ?A-Or-Spec ?Resource)
        (Can-Use-Resource ?A-Or-Spec ?Resource-Sub)))

Other Related Equivalence Axioms for Can-Use-Resource:

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