Function ROOT-NODE

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

Slots on this function:

Documentation:

Takes one argument, procedure instance. The value is an instance of procedure-step.

For example, (root-node loss-of-verniers) = lov-n1

Instance-Of: Function

Arity: 2

Domain: Procedure

Other Related Axioms:

(=> (Root-Node $X $Y) (Procedure $X))