| (subclass Method Procedure) | engineering.kif 1161-1161 | Method is a subclass of procedure |
| (subclass MathematicalMethod Method) | engineering.kif 1165-1165 | Mathematical method is a subclass of method |
| (subclass Technique Method) | engineering.kif 1185-1185 | Technique is a subclass of method |
| (subclass ElectricalEngineeringMethod Method) | engineering.kif 1190-1190 | Electrical engineering method is a subclass of method |
| (subclass ControlDesignMethod Method) | engineering.kif 1228-1228 | Control design method is a subclass of method |
|
|