(subclass NonlinearEquation Equation) | engineering.kif 164-164 | Nonlinear equation is a subclass of equation |
(subclass BesselsEquation NonlinearEquation) | engineering.kif 195-195 | Bessels equation is a subclass of nonlinear equation |
(subclass VanderpolsEquation NonlinearEquation) | engineering.kif 200-200 | Vanderpols equation is a subclass of nonlinear equation |