| ElectricalComponent(electrical component) | | electrical_fuse, fuse, safety_fuse |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 978-979 | |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 980-980 | Electrical component is a subclass of electric device |
| appearance as argument number 2 |
|
|
| 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 825-825 | Electrical conductor 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 748-748 | Relay 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 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 |
| 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. | domainEnglishFormat.kif 21474-21474 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21473-21473 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 21472-21472 |
|
|
|