(subclass Equation Proposition) | engineering.kif 150-150 | Equation e' uma sub-classe de Proposicao |
(subclass DifferentialEquation Equation) | engineering.kif 154-154 | DifferentialEquation e' uma sub-classe de Equation |
(subclass LinearEquation Equation) | engineering.kif 160-160 | LinearEquation e' uma sub-classe de Equation |
(subclass NonlinearEquation Equation) | engineering.kif 164-164 | NonlinearEquation e' uma sub-classe de Equation |
(subclass AlgebraicEquation Equation) | engineering.kif 168-168 | AlgebraicEquation e' uma sub-classe de Equation |