Relation Actual-Effect

• Defined in ontology: Enterprise-v0.1

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)