Relation Actual-Effect


Slots on relation Actual-Effect:

Arity: 2
Documentation:
A relationship between an Activity and an Effect whereby the State-of-Affairs is brought about by the performance of the Activity.
Domain: Activity
Instance-Of: Binary-Relation, Relation, Set
Range: Effect

Axioms for Actual-Effect:

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


Other Related Axioms for Actual-Effect:

(Inherited-Facet-Value Slot-Value-Type Activity Actual-Effect Effect)

(Inherited-Facet-Value Minimum-Slot-Cardinality
                       Activity
                       Actual-Effect
                       1)