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.

Subclass-Of: Relation

Axioms:

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