Function INSTANTIATION-JUSTIFICATION

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

Slots on this function:

Documentation:

Records a justification for a new instance.

The sentence is the bound instantiation condition with a free time variable.

Instance-Of: Function

Arity: 3

Axioms:

(Nth-Domain Instantiation-Justification 1 Model-Fragment)