Class Pre-Condition-When-Hold

• Defined in ontology: Enterprise-v0.1

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

Documentation:

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:

(Inherited-Facet-Value Slot-Value-Type
                       Pre-Condition
                       When-Hold
                       Pre-Condition-When-Hold)