Class Pre-Condition

• Defined in ontology: Enterprise-v0.1

Slots on class 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

Instance-Of: Class, Relation, Set

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

Subclass-Of: Planning-Constraint, Eo-Entity, Individual, Individual-Thing, Thing ...

---

Slots on instances of Pre-Condition:

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

Other Related Axioms for Pre-Condition:

(Inherited-Facet-Value Slot-Value-Type
                       Activity-Spec
                       Specified-Pre-Condition
                       Pre-Condition)

(Inherited-Facet-Value Slot-Value-Type
                       Activity
                       Actual-Pre-Condition
                       Pre-Condition)