Relation Actual-Output

• Defined in ontology: Enterprise-v0.1

Notes for Actual-Output:

• See-Also: Definition of Actual-Effect.

Slots on relation Actual-Output:

Arity: 2

Documentation:

A Relationship between an Activity and an Entity whereby the Entity is an Output produced by the Activity.

Domain: Activity

Instance-Of: Binary-Relation, Relation, Set

Range: Eo-Entity

Other Related Implication Axioms for Actual-Output:

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