Relation IS-CLOSING-OF

Arity: 2

Axioms:

(= (Inverse Closes-At) Is-Closing-Of)

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