| No TPTP formula. May not be expressible in strict first order. | engineering.kif 980-980 | 电气元件 是 电器 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 748-748 | 中继 是 电气元件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 821-821 | 终奌站 是 电气元件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 825-825 | ElectricalConductor 是 电气元件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 854-854 | 电阻元件 是 电气元件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 864-864 | 电容器 是 电气元件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 868-868 | 感应器 是 电气元件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1039-1039 | 半导体元件 是 电气元件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 434-434 | SparkPlug 是 电气元件 的 subclass |
|
|