Class TIME-INTERVAL

• Defined in theory: Dme-kb
• Source code: dme-kb.lisp

Slots on this class:

Documentation:

The class of time interval structural-element-models.

Instance-Of: Class, Dme-kernel-class

Subclass-Of: Time-spec

Other Related Axioms:

(Nth-Domain Previous-Interval 2 Time-Interval)

(Nth-Domain Previous-Interval 1 Time-Interval)