No TPTP formula. May not be expressible in strict first order. | engineering.kif 642-642 | ElectricalProcess est une sous-classe de NaturalProcess |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 659-659 | ElectricalResonance est une sous-classe de ElectricalProcess |