Relation Actually-Execute


Notes for Actually-Execute:


Slots on relation Actually-Execute:

Arity: 2
Documentation:
A relationship between an Actor and an Activity whereby the Actor has performed the Activity.
Domain: Potential-Actor
Instance-Of: Binary-Relation, Relation, Set
Range: Activity

Other Related Implication Axioms for Actually-Execute:

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


Other Related Equivalence Axioms for Actually-Execute:

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