Class Epml-Actor-Status-Constraint


Slots on class Epml-Actor-Status-Constraint:

Arity: 1
Documentation: The status that an actor must have for an activity to be started
Instance-Of: Class, Relation, Set
Subclass-Of:
Epml-Pre-Condition, Eo-Entity, Individual-Thing, Planning-Constraint, Pre-Condition ...


Slots on instances of Epml-Actor-Status-Constraint:

State-Description:
Slot-Cardinality: 1
Slot-Value-Type: Epml-Actor-Condition, State-Of-Affairs
When-Hold:
Slot-Cardinality: 1
Slot-Value-Type: Pre-Condition-When-Hold, When-Hold-Spec

Other Related Axioms for Epml-Actor-Status-Constraint:

(Exhaustive-Subclass-Partition 
    Epml-Pre-Condition
    (Setof Epml-Input-Activity-Status-Constraint
           Epml-Input-Resource-Status-Constraint
           Epml-Actor-Capability-Constraint
           Epml-Actor-Authority-Constraint
           Epml-Actor-Status-Constraint))