Function MODEL-CLASS-TO-OPERATE-ON

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

Slots on this function:

Documentation:

Takes one argument, operator-action-model class. The value is a structural-element-model class that the op-action

acts upon. For example, (model-class-to-operate-on turn-valve) = valve.

Instance-Of: Function

Arity: 2

Domain: Operator-action-model

Other Related Axioms:

(=> (Model-Class-To-Operate-On $X $Y) (Operator-Action-Model $X))