Relation When-Hold

Instance-Of: Binary-Relation, Relation, Set
Domain: Planning-Constraint
Range: When-Hold-Spec
Arity: 2
Documentation:
The specification of when a State-Of-Affairs must be true in a Planning-Constraint

Frame References to When-Hold:

In class Planning-Constraint:

Slots:

When-Hold:
Slot-Cardinality: 1
Slot-Value-Type: When-Hold-Spec

In class Pre-Condition:

Slots:

When-Hold:
Slot-Cardinality: 1
Slot-Value-Type: Pre-Condition-When-Hold

In class Effect:

Slots:

When-Hold:
Slot-Cardinality: 1
Slot-Value-Type: Effect-When-Hold