Relation INSTANTIATED

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

Slots on this relation:

Documentation:

Takes two arguments, MF-inst and time-spec. The value is t iff the MF-inst is instantiated at the time. Being instantiated means that the instantiation condition of the model class evaluates to true at the time.

Instance-Of: Relation

Arity: 2

Domain: Model-fragment

Range: Time-spec

Other Related Axioms:

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

(=> (Instantiated $X $Y) (Model-Fragment $X))