Relation ACTIVE

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

Slots on this relation:

Documentation:

Maps the model instance to the time at which it became active.

The value is known iff the behavior-model instance is active

during at the time.

Instance-Of: Relation

Arity: 2

Domain: Behavior-model

Range: Time-spec

Other Related Axioms:

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

(=> (Active $X $Y) (Behavior-Model $X))