Relation _READY

Arity: 2

Subrelation-Of: Procedural-property

Axioms:

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

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