Relation Actual-Effect

• Defined in ontology: Enterprise-v1.0
• Source pathname: /tmp_mnt/vol/q/htw/cms/frame-editor/ontology-library/ontologies/rice/enterprise-v1.0.lisp

Instance-Of: Binary-Relation, Relation, Set

Domain: Activity

Range: 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.

Axioms for Actual-Effect:

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

Frame References to Actual-Effect:

In class Activity:

Slots:

Actual-Effect:

Minimum-Slot-Cardinality: 1

Slot-Value-Type: Effect