Relation Specified-Pre-Condition

• Defined in ontology: Enterprise-v0.1

Notes for Specified-Pre-Condition:

• If there is more than one Specified-Pre-Condition for a given Activity-Spec, their conjunction is may be viewed (informally) as a single precondition.
• See-Also: Pre-Condition-When-Hold

Slots on relation Specified-Pre-Condition:

Arity: 2

Documentation:

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

Domain: Activity-Spec

Instance-Of: Binary-Relation, Relation, Set

Range: Pre-Condition

Other Related Axioms for Specified-Pre-Condition:

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

(Inherited-Facet-Value Minimum-Slot-Cardinality
                       Activity-Spec
                       Specified-Pre-Condition
                       1)