(subclass Method Procedure) | engineering.kif 1161-1161 | Method は 手順 の subclass では %n |
(subclass MathematicalMethod Method) | engineering.kif 1165-1165 | MathematicalMethod は Method の subclass では %n |
(subclass Technique Method) | engineering.kif 1185-1185 | Technique は Method の subclass では %n |
(subclass ElectricalEngineeringMethod Method) | engineering.kif 1190-1190 | ElectricalEngineeringMethod は Method の subclass では %n |
(subclass ControlDesignMethod Method) | engineering.kif 1228-1228 | ControlDesignMethod は Method の subclass では %n |