Notes for Pre-Condition-When-Hold:
- Todo: Consider making the meaning of the instances precise
in terms of time primitives.
Slots on class Pre-Condition-When-Hold:
- Arity: 1
A specification of when a pre-condition of an activity must
hold. Currently, there are 4 instances.
- Has-Instance: Always, Before-T-Begin, Before-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 Pre-Condition-When-Hold:
Other Related Axioms for Pre-Condition-When-Hold: