| No TPTP formula. May not be expressible in strict first order. | engineering.kif 150-150 | 子類 方程 and Proposition |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 154-154 | 子類 微分方程 and 方程 |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 160-160 | 子類 線性方程 and 方程 |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 164-164 | 子類 非線性方程 and 方程 |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 168-168 | 子類 代數方程式 and 方程 |
|
|