Relation Actually-Execute

• 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: Potential-Actor

Range: Activity

Arity: 2

Documentation:

A relationship between an Actor and an Activity whereby the Actor has performed the Activity.

Implication Axioms mentioning Actually-Execute:

(=> (Actual-Doer ?X)
    (Exists (?Activity) (Actually-Execute ?X ?Activity)))

(=> (Planning-Assumption ?Planning ?Assumption)
    (Exists (?Doer)
            (And (Actor ?Doer)
                 (Actually-Execute ?Doer ?Planning)
                 (Assumed ?Doer ?Assumption))))

Equivalence Axioms mentioning Actually-Execute:

(<=> (Actual-Doer ?X)
     (And (Actor ?X)
          (Exists (?Activity) (Actually-Execute ?X ?Activity))))