Class TIME-SPAN

The kind of temporalized entity, which does not depend on any other entity except other time spans.
Subclass-Of: Temporalized-entity
The-Archetype: Type
Axioms:
(=> (Time-Span ?Self)
    (Exists (?A) (And (Strictly-Depends-On ?Self ?A) (Time-Span ?A))))