| No TPTP formula. May not be expressible in strict first order. | engineering.kif 346-346 | ElectricalMultipoleModel est une sous-classe de MultipoleModel |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 350-350 | NonlinearCircuit est une sous-classe de ElectricalMultipoleModel |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 355-355 | RLCircuit est une sous-classe de ElectricalMultipoleModel |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 360-360 | RLCCircuit est une sous-classe de ElectricalMultipoleModel |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 365-365 | RCCircuit est une sous-classe de ElectricalMultipoleModel |
|
|