Notes for Effect-When-Hold:
- Todo: Consider making the meaning of the instances precise
in terms of time primitives.
Slots on class Effect-When-Hold:
- Arity: 1
- Documentation:
A specification of when an effect of an activity must
hold. There are exactly 3 special instances.
- Has-Instance: After-T-Begin, After-T-End, During-Whole-Interval
- Instance-Of: Class, Relation, Set
- Subclass-Of: When-Hold-Spec, Eo-Entity, Individual-Thing, Misc-Spec-Detail, Thing ...
Slots on instances of Effect-When-Hold:
Other Related Axioms for Effect-When-Hold:
(Inherited-Facet-Value Slot-Value-Type
Effect
When-Hold
Effect-When-Hold)