| No TPTP formula. May not be expressible in strict first order. | engineering.kif 980-980 | ElectricalComponent e' uma sub-classe de ElectricDevice |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 748-748 | Relay e' uma sub-classe de ElectricalComponent |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 821-821 | Terminal e' uma sub-classe de ElectricalComponent |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 825-825 | ElectricalConductor e' uma sub-classe de ElectricalComponent |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 854-854 | ResistorElement e' uma sub-classe de ElectricalComponent |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 864-864 | Capacitor e' uma sub-classe de ElectricalComponent |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 868-868 | Inductor e' uma sub-classe de ElectricalComponent |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1039-1039 | SemiconductorComponent e' uma sub-classe de ElectricalComponent |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 434-434 | SparkPlug e' uma sub-classe de ElectricalComponent |
|
|