Relation REPETITION-INTERVAL-OF

Arity: 2

Domain: Number

Axioms:

(= (Inverse Repetition-Interval) Repetition-Interval-Of)

(<=> (Repetition-Interval-Of ?A ?B) (Number ?A))

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