Relation _ABORTED-PROCEDURE

Arity: 2

Subrelation-Of: Procedural-property

Axioms:

(=> (_Aborted-Procedure ?A ?B)
    (Exists (?Z ?K)
            (And (Interval ?Z)
                 (Interval ?K)
                 (Procedure ?A)
                 (Boolean ?B)
                 (Meets ?Z ?K)
                 (Holds-At ?Z (_ACTIVATED ?A ?B ?C))
                 (Holds-At ?K (_ABORTED-PROCEDURE ?A ?B ?D)))))

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