Class Epml-Activity-Condition


Slots on class Epml-Activity-Condition:

Arity: 1
Documentation:
This defines a restricted subset of State-Of-Affairs, where the relationship is of type Epml-Activity-Status
Instance-Of: Class, Relation, Set
Subclass-Of: State-Of-Affairs


Slots on instances of Epml-Activity-Condition:


Equivalence Axioms for Epml-Activity-Condition:

(<=> (Epml-Activity-Condition ?X)
     (Restricted-List-Of-Relsents ?X '(Epml-Activity-Status)))


Other Related Axioms for Epml-Activity-Condition:

(Inherited-Facet-Value Slot-Value-Type
                       Epml-Input-Activity-Status-Constraint
                       State-Description
                       Epml-Activity-Condition)

(Inherited-Facet-Value Slot-Value-Type
                       Epml-Output-Activity-Status-Constraint
                       State-Description
                       Epml-Activity-Condition)