Class Pre-Condition

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

Subclass-Of:

Planning-Constraint, Eo-Entity, Individual, Individual-Thing, Thing ...

Instance-Of: Class, Relation, Set

Range-Of: Actual-Pre-Condition, Specified-Pre-Condition

Arity: 1

Documentation:

A Planning-Constraint associated with a particular Activity or Activity-Spec that is required to be true in order for the successful performance or execution of the Activity or Activity-Spec.

It contains two main things: 1) a State-Of-Affairs; and 2) A specification of when that State-Of-Affairs must be true; this may be one of: to hold immediately before T-Begin, immediately before T-End, or throughout the whole Actual- or Specified-Activity-Interval

---

Slots:

State-Description:

Slot-Cardinality: 1

Slot-Value-Type: State-Of-Affairs

When-Hold:

Slot-Cardinality: 1

Slot-Value-Type: Pre-Condition-When-Hold, When-Hold-Spec

Frame References to Pre-Condition:

In class Activity:

Slots:

Actual-Pre-Condition:

Slot-Value-Type: Pre-Condition

In class Activity-Spec:

Slots:

Specified-Pre-Condition:

Slot-Value-Type: Pre-Condition