| No TPTP formula. May not be expressible in strict first order. | engineering.kif 984-984 | 子類 電路 and 電器 |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 990-990 | 子類 放大器 and 電路 |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 995-995 | 子類 頻率濾波器 and 電路 |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1010-1010 | 子類 整流器 and 電路 |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1044-1044 | 子類 運算放大器 and 電路 |
|
|