| (subclass NonlinearEquation Equation) | engineering.kif 164-164 | 非线性方程 是 方程 的 subclass |
| (subclass BesselsEquation NonlinearEquation) | engineering.kif 195-195 | 贝塞尔斯方程 是 非线性方程 的 subclass |
| (subclass VanderpolsEquation NonlinearEquation) | engineering.kif 200-200 | 范德波尔斯方程 是 非线性方程 的 subclass |
|
|