| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1161-1161 | 子類 方法 and Procedure |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1165-1165 | 子類 數學方法 and 方法 |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1185-1185 | 子類 技術 and 方法 |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1190-1190 | 子類 電氣工程方法 and 方法 |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1228-1228 | 子類 控制設計方法 and 方法 |
|
|