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
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)))