Relation Specified-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-Spec

Range: Effect

Has-Subrelation: Intended-Purpose

Arity: 2

Documentation:

A relationship between an Activity-Spec and an Effect whereby the Effect (Planning-Constraint) must be satisfied in order for the Activity-Spec to be Executed.

Frame References to Specified-Effect:

In class Activity-Spec:

Slots:

Specified-Effect:

Minimum-Slot-Cardinality: 1

Slot-Value-Type: Effect

Axioms mentioning Specified-Effect:

(<= (Specified-Effect Ontolingua-Internal::@Arg-List)
    (Intended-Purpose Ontolingua-Internal::@Arg-List))