- Defined in ontology: Epml
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))