| (subclass Equation Proposition) | engineering.kif 150-150 | Equation は 命題 の subclass では %n |
| (subclass DifferentialEquation Equation) | engineering.kif 154-154 | DifferentialEquation は Equation の subclass では %n |
| (subclass LinearEquation Equation) | engineering.kif 160-160 | LinearEquation は Equation の subclass では %n |
| (subclass NonlinearEquation Equation) | engineering.kif 164-164 | NonlinearEquation は Equation の subclass では %n |
| (subclass AlgebraicEquation Equation) | engineering.kif 168-168 | AlgebraicEquation は Equation の subclass では %n |
|
|