Relation _ACTIVATED

Arity: 2

Domain: Procedure

Range: Boolean

Subrelation-Of: Procedural-property

Axioms:

(=> (_Activated ?A ?B)
    (Exists (?Z ?K)
            (And (Interval ?Z)
                 (Interval ?K)
                 (Procedure ?A)
                 (Boolean ?B)
                 (Meets ?Z ?K)
                 (Holds-At ?Z (_READY ?A ?B))
                 (Holds-At ?K (_ACTIVATED ?A ?B)))))

• Defined in theory: Procedures
• Source code: Procedures.lisp