Slots on class Effect:
- 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 after T-Begin, immediately after T-End, or
throughout the whole Actual- or Specified-Activity-Interval
- Instance-Of: Class, Relation, Set
- Range-Of: Actual-Effect, Specified-Effect
- Subclass-Of: Planning-Constraint, Eo-Entity, Individual, Individual-Thing, Thing ...
Slots on instances of Effect:
- State-Description:
- Slot-Cardinality: 1
- Slot-Value-Type: State-Of-Affairs
- When-Hold:
- Slot-Cardinality: 1
- Slot-Value-Type: Effect-When-Hold, When-Hold-Spec
Other Related Axioms for Effect:
(Inherited-Facet-Value Slot-Value-Type
Activity-Spec
Specified-Effect
Effect)
(Inherited-Facet-Value Slot-Value-Type Activity Actual-Effect Effect)