Class TIME-SPEC

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

Slots on this class:

Documentation:

The class of time point or interval structural-element-models.

Instance-Of: Class, Dme-kernel-class

Range-Of: Active, Instantiated

Superclass-Of: Time-interval, Time-point

Other Related Axioms:

(=> (Active $X $Y) (Time-Spec $Y))

(=> (Instantiated $X $Y) (Time-Spec $Y))

(Nth-Domain Value 2 Time-Spec)