Relation _COMPLETED

Arity: 2

Subrelation-Of: Procedural-property

Axioms:

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

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