Relation IS-OPENING-OF

Arity: 2

Axioms:

(= (Inverse Opens-At) Is-Opening-Of)

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