Class TIME-DEPENDENT-RELATION

• Defined in theory: Cml
• Source code: cml.lisp

Slots on this class:

Documentation:

Time dependent relations are relations whose first argument is a time quantity. This is a second order relation.

Instance-Of: Class

Subclass-Of: Relation

Superclass-Of: Time-dependent-function

Axioms:

(Nth-Domain ?Rel 1 Time-Quantity)

Other Related Axioms:

(=> (Time-Dependent-Relation ?Rel) (Nth-Domain ?Rel 1 Time-Quantity))