| (subclass MathematicalMethod Method) | engineering.kif 1165-1165 | MathematicalMethod は Method の subclass では %n |
| (subclass FourierAnalysis MathematicalMethod) | engineering.kif 1170-1170 | FourierAnalysis は MathematicalMethod の subclass では %n |
| (subclass FourierSynthesis MathematicalMethod) | engineering.kif 1175-1175 | FourierSynthesis は MathematicalMethod の subclass では %n |
| (subclass Discretization MathematicalMethod) | engineering.kif 1181-1181 | Discretization は MathematicalMethod の subclass では %n |
|
|