Class Epml-Output-Resource-Success-Status-Constraint

Slots on class Epml-Output-Resource-Success-Status-Constraint:

Arity: 1
Documentation:
The state value that a resource will have if the activity has been completed successfully
Instance-Of: Class, Relation, Set
Subclass-Of:
Epml-Effect, Effect, Eo-Entity, Individual-Thing, Planning-Constraint ...

Slots on instances of Epml-Output-Resource-Success-Status-Constraint:

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

Other Related Axioms for Epml-Output-Resource-Success-Status-Constraint:

(Exhaustive-Subclass-Partition 
    Epml-Effect
    (Setof Epml-Output-Activity-Status-Constraint
           Epml-Output-Resource-Success-Status-Constraint
           Epml-Output-Resource-Failure-Status-Constraint))