Relation Resource-Substitute

• Defined in ontology: Enterprise-v0.1

Notes for Resource-Substitute:

• This definition does not properly capture the idea of being a substitute; that would require further detail. It does however captures the fact that if the substitute is so declared, then it automatically is a Resource for that Activity.
• It was a conscious decision to not restrict the types of the first two arguments to be Resources, because this is supposed to be inferred from participation in a Can-Use-Resource relation.

Slots on relation Resource-Substitute:

Arity: 3

Documentation:

A Relationship between two Resources and an Activity or Activity-Spec whereby the one Resource may be used or consumed in the Activity or Activity-Spec instead of the other.

Instance-Of: Relation, Set

Axioms for Resource-Substitute:

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

Other Related Implication Axioms for Resource-Substitute:

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