Class When-Hold-Spec

• Defined in ontology: Enterprise-v0.1

Notes for When-Hold-Spec:

• This is an abstract class created for convenience. Pre-Condition-When-Hold and Effect-When-Hold are the more directly useful subclasses.

Slots on class When-Hold-Spec:

Arity: 1

Documentation:

A specification of when a State-Of-Affairs must hold in regards of a Planning-Constraint

Instance-Of: Class, Relation, Set

Range-Of: When-Hold

Subclass-Of: Misc-Spec-Detail, Eo-Entity, Individual, Individual-Thing, Thing ...

Superclass-Of: Effect-When-Hold, Pre-Condition-When-Hold

---

Slots on instances of When-Hold-Spec:

Other Related Axioms for When-Hold-Spec:

(Inherited-Facet-Value Slot-Value-Type
                       Planning-Constraint
                       When-Hold
                       When-Hold-Spec)