Relation Can-Use-Resource

• Defined in ontology: Enterprise-v1.0
• Source pathname: /tmp_mnt/vol/q/htw/cms/frame-editor/ontology-library/ontologies/rice/enterprise-v1.0.lisp

Instance-Of: Binary-Relation, Relation, Set

Domain: Activity-Or-Spec

Range: Eo-Entity

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

Implication Axioms mentioning 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)))

Equivalence Axioms mentioning Can-Use-Resource:

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