Relation Actual-Output

Instance-Of: Binary-Relation, Relation, Set
Domain: Activity
Range: Eo-Entity
Arity: 2
Documentation:
A Relationship between an Activity and an Entity whereby the Entity is an Output produced by the Activity.

Implication Axioms mentioning Actual-Output:

(=> (Plan-Assumption ?Plan ?Assumption)
    (Exists (?Planning)
            (And (Planning ?Planning)
                 (Actual-Output ?Planning ?Plan)
                 (Planning-Assumption ?Planning ?Assumption))))


Axioms mentioning Actual-Output:

(Forall (?Activity ?Output)
        (=> (Actual-Output ?Activity ?Output)
            (Actual-Effect ?Activity
                           '(Actual-Output ?Activity ?Output))))

(Forall (?Plng ?Assump)
        (=> (Planning-Assumption ?Plng ?Assump)
            (Exists (?Pln)
                    (And (Actual-Output ?Plng ?Pln)
                         (Plan-Assumption ?Pln ?Assump)))))