| No TPTP formula. May not be expressible in strict first order. | engineering.kif 980-980 | Electrical component is a subclass of electric device |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 748-748 | Relay is a subclass of electrical component |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 821-821 | Terminal is a subclass of electrical component |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 825-825 | Electrical conductor is a subclass of electrical component |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 854-854 | Resistor element is a subclass of electrical component |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 864-864 | Capacitor is a subclass of electrical component |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 868-868 | Inductor is a subclass of electrical component |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1039-1039 | Semiconductor component is a subclass of electrical component |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 434-434 | Spark plug is a subclass of electrical component |
|
|