TreeView Knowledge Base Browser - ElectricalMultipoleModel

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	engineering.kif 343-344
No TPTP formula. May not be expressible in strict first order.	engineering.kif 345-345
No TPTP formula. May not be expressible in strict first order.	engineering.kif 346-346	ElectricalMultipoleModel est une sous-classe de MultipoleModel

appearance as argument number 2

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 365-365	RCCircuit 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 355-355	RLCircuit est une sous-classe de ElectricalMultipoleModel
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21528-21528
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21527-21527
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 21526-21526