Class PROCEDURE

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

Slots on this class:

Documentation:

Operator procedures represented as a graph.

Instance-Of: Class, Dme-kernel-class

Domain-Of: Root-node

Other Related Axioms:

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