| No TPTP formula. May not be expressible in strict first order. | engineering.kif 150-150 | Equation est une sous-classe de proposition |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 154-154 | DifferentialEquation est une sous-classe de Equation |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 160-160 | LinearEquation est une sous-classe de Equation |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 164-164 | NonlinearEquation est une sous-classe de Equation |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 168-168 | AlgebraicEquation est une sous-classe de Equation |
|
|