Relation IS-DURATION-VALUE-OF

Arity: 2

Domain: Number

Axioms:

(= (Inverse Duration-Value) Is-Duration-Value-Of)

(<=> (Is-Duration-Value-Of ?A ?B) (Number ?A))

• Defined in theory: Unrestricted-time
• Source code: Unrestricted-Time.lisp