No TPTP formula. May not be expressible in strict first order. | Cars.kif 3086-3086 | ElectricalTransformer est une sous-classe de Transformer |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3143-3143 | IgnitionCoil est une sous-classe de ElectricalTransformer |