Class Epml-Activity-Condition

• Defined in ontology: Epml

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)